diff options
author | Brecht Van Lommel <brecht@blender.org> | 2023-04-19 20:21:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-19 14:21:48 -0400 |
commit | eed6b28fc0924ce394ee3913ed0973c44a525c20 (patch) | |
tree | 640deccda8e92319a0038048fae6d54096933d62 /modules/system | |
parent | b39a5bbbd610ba30651218658caaec1c86d6bca1 (diff) | |
download | gitea-eed6b28fc0924ce394ee3913ed0973c44a525c20.tar.gz gitea-eed6b28fc0924ce394ee3913ed0973c44a525c20.zip |
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.
Diffstat (limited to 'modules/system')
0 files changed, 0 insertions, 0 deletions