audacity/community
1
0
Fork 0
mirror of https://github.com/audacity/community.git synced 2026-05-01 20:18:13 -05:00
Code Issues Packages Projects Releases Wiki Activity

auto-merge: revert debug output

Browse Source
This commit is contained in:
Croydon
2020-11-21 19:16:26 +01:00
parent fa42dfb2f1
commit e4eac4d676
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/auto-merge.py vendored
View File

@@ -77,10 +77,8 @@ for pull_request_number in pull_request_numbers:
print("")
pr = repo.get_pull(pull_request_number)
print("mergeable:")
print(pr["mergeable"])
print(pr)
if not pr["mergeable"]:
# https://github.com/PyGithub/PyGithub/issues/256
if not pr.mergeable:
print("According to GitHub the pull request is not mergeable right now. Are there conflicts?")
continue