]> source.dussan.org Git - gitea.git/commit
projects / gitea.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d473de0) | patch
Avoid opening/closing PRs which are already merged (#25883)
authoryp05327 <576951401@qq.com>
Sat, 15 Jul 2023 22:10:49 +0000 (07:10 +0900)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2023 22:10:49 +0000 (22:10 +0000)
commitec35af470c8cbed9f32b68e1a2c43e0f71c5f97b
tree38022b01637e704995b3996afe76286281d7d917tree | snapshot
parentd473de0c2d9226f59a1a4de92057f3fd5c7fe456commit | diff
Avoid opening/closing PRs which are already merged (#25883)

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
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