Fix the handling of closed PR when push commits#23830
Closed
sillyguodong wants to merge 7 commits intogo-gitea:mainfrom
Closed
Fix the handling of closed PR when push commits#23830sillyguodong wants to merge 7 commits intogo-gitea:mainfrom
sillyguodong wants to merge 7 commits intogo-gitea:mainfrom
Commits
Commits on Mar 30, 2023
- committed
- committed