Avoid opening/closing PRs which are already merged#25883

Merged

lafriks merged 3 commits intogo-gitea:mainfrom

yp05327:disable-change-status-of-merged-pr

Jul 15, 2023

Commits on Jul 14, 2023

fix
yp05327
committed
Update routers/web/repo/issue.go

yp05327
and
lunny
authored

Commits on Jul 15, 2023

Merge branch 'main' into disable-change-status-of-merged-pr
lafriks
authored