]> source.dussan.org Git - gitea.git/commit
projects / gitea.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9369b38) | patch
Avoid opening/closing PRs which are already merged (#25883) (#25903)
authorGiteabot <teabot@gitea.io>
Mon, 17 Jul 2023 12:14:22 +0000 (08:14 -0400)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2023 12:14:22 +0000 (12:14 +0000)
commit9159964ada44951ba5ee2a41e7bf2fe6f7f7993f
tree0c95168dacc4d7a2a73bdad872251d932f2088bftree | snapshot
parent9369b38315c11f9315d51be5b35b16970bc65f5fcommit | diff
Avoid opening/closing PRs which are already merged (#25883) (#25903)

Backport #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 <576951401@qq.com>
routers/web/repo/issue.go diff | blob | history
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD: https://github.com/go-gitea/gitea