Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid opening/closing PRs which are already merged (go-gitea#25883) (g…
…o-gitea#25903) Backport go-gitea#25883 by @yp05327 We can select PRs to open/close them by one click, but we forgot to check whether it is merged. You can get an opening merged PR: ![image](https://github.com/go-gitea/gitea/assets/18380374/22c2e747-4bb9-4742-a9aa-ef39d5308bc5) You can confirm this in: https://try.gitea.io/yp05327/testrepo/pulls/5 Co-authored-by: yp05327 <[email protected]>
- Loading branch information