Summary

Fix up API definition for github repositories mirror_url.

Review Request #15135 — Created June 24, 2026 and submitted June 26, 2026, 8:28 a.m.

Owner

Repository

Review Board

Branch

release-9.x

Bugs

Depends On

Groups

People

Description

I had marked mirror_url as required, but not every github repository
response will include this. This change fixes it up to be optional.

Testing Done


Verified that I could load the new review request page data for a

  github repository which doesn't return this.
Ran unit tests.

Commits

Summary	ID
Fix up API definition for github repositories mirror_url. I had marked `mirror_url` as required, but not every github repository response will include this. This change fixes it up to be optional. Testing Done: - Verified that I could load the new review request page data for a github repository which doesn't return this. - Ran unit tests.	umlsrzslsymvyyzmuzsnqvzuvvkpwtmw

flake8 passed.

JSHint passed.

Ship it!