Commit 9159964
Avoid opening/closing PRs which are already merged (go-gitea#25883) (go-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:

You can confirm this in:
https://try.gitea.io/yp05327/testrepo/pulls/5
Co-authored-by: yp05327 <[email protected]>1 parent 9369b38 commit 9159964
1 file changed
+8
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2726 | 2726 | | |
2727 | 2727 | | |
2728 | 2728 | | |
| 2729 | + | |
| 2730 | + | |
| 2731 | + | |
| 2732 | + | |
| 2733 | + | |
2729 | 2734 | | |
| 2735 | + | |
| 2736 | + | |
| 2737 | + | |
2730 | 2738 | | |
2731 | 2739 | | |
2732 | 2740 | | |
| |||
0 commit comments