Fix template error in pull request with deleted head repo#24192

Merged

jolheiser merged 2 commits intogo-gitea:mainfrom

brechtvl:fix-pr-error-deleted-head-repo

Apr 19, 2023

Commits on Apr 18, 2023

Fix template error in pull request with deleted head repo
brechtvl
committed

Commits on Apr 19, 2023

Merge branch 'main' into fix-pr-error-deleted-head-repo
GiteaBot
authored