You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Don't try merge if mergability is not yet known
174
+
if(prInfo.data.mergeable===null){
175
+
awaitoctokit.issues.createComment({ ...thisRepo,issue_number: issue.number,body: `Sorry @${sender}, this PR is still running background checks to compute mergeability. They'll need to complete before this can be merged.`});
176
+
return
177
+
}
178
+
173
179
// Don't try merge unmergable stuff
174
180
if(!prInfo.data.mergeable){
175
181
awaitoctokit.issues.createComment({ ...thisRepo,issue_number: issue.number,body: `Sorry @${sender}, this PR has merge conflicts. They'll need to be fixed before this can be merged.`});
@@ -267,6 +273,27 @@ function getFilesNotOwnedByCodeOwner(owner, files, cwd) {
0 commit comments