Avoid opening/closing PRs which are already merged (#25883) (#26108)

This commit is contained in:
yp05327 2023-07-26 02:31:09 +09:00 committed by GitHub
parent 81f5d5b722
commit 53586e9d60
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

View File

@ -2654,6 +2654,13 @@ func UpdateIssueStatus(ctx *context.Context) {
return
}
for _, issue := range issues {
if err := issue.LoadPullRequest(ctx); err != nil {
ctx.ServerError("LoadPullRequests", err)
return
}
if issue.IsPull && issue.PullRequest.HasMerged {
continue
}
if issue.IsClosed != isClosed {
if err := issue_service.ChangeStatus(issue, ctx.Doer, "", isClosed); err != nil {
if issues_model.IsErrDependenciesLeft(err) {