Commit ec35af4
authored
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:

You can confirm this in:
https://try.gitea.io/yp05327/testrepo/pulls/51 parent d473de0 commit ec35af4
1 file changed
+8
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2762 | 2762 | | |
2763 | 2763 | | |
2764 | 2764 | | |
| 2765 | + | |
| 2766 | + | |
| 2767 | + | |
| 2768 | + | |
| 2769 | + | |
2765 | 2770 | | |
| 2771 | + | |
| 2772 | + | |
| 2773 | + | |
2766 | 2774 | | |
2767 | 2775 | | |
2768 | 2776 | | |
| |||
0 commit comments