Brecht Van Lommel eed6b28fc0
Fix template error in pull request with deleted head repo (#24192)
Rendering of Allow Edits from Maintainers did not check if the head repo
exists, while other parts of the page handle it gracefully.
2023-04-19 14:21:48 -04:00
..
2023-04-17 11:37:23 +08:00
2023-04-17 11:37:23 +08:00
2022-06-27 15:58:46 -05:00