Fix up API definition for github repositories mirror_url.
Review Request #15135 — Created June 24, 2026 and submitted — Latest diff uploaded
I had marked
mirror_urlas required, but not every github repository
response will include this. This change fixes it up to be optional.
- Verified that I could load the new review request page data for a
github repository which doesn't return this. - Ran unit tests.