• 
      

    Fix up API definition for github repositories mirror_url.

    Review Request #15135 — Created June 24, 2026 and submitted — Latest diff uploaded

    Information

    Review Board
    release-9.x

    Reviewers

    I had marked mirror_url as 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.

    Commits

    Files