Skip to content

Commit

Permalink
comment build w/ authorized user
Browse files Browse the repository at this point in the history
  • Loading branch information
pxLi committed Sep 4, 2020
1 parent 98e98b8 commit 6675c62
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/auto-merge/automerge
Original file line number Diff line number Diff line change
Expand Up @@ -99,7 +99,7 @@ def auto_merge(github_token: str, nvauto_token: str, owner: str, repo_name: str,
except Exception as e:
comment(github_token=github_token, owner=owner, repo_name=repo_name, number=number,
content=f"""**FAILURE** - Unable to auto-merge. Manual operation is required.
```json
```
{e}
```
""")
Expand Down Expand Up @@ -131,7 +131,7 @@ def main(github_token: str, nvauto_token: str, owner: str, repo_name: str, head:
sys.exit(0)

# skip pre-merge blossom CI w/ [skip ci] in PR title
comment(github_token=github_token, owner=owner, repo_name=repo_name, number=number, content='build')
comment(github_token=nvauto_token, owner=owner, repo_name=repo_name, number=number, content='build')

time.sleep(600) # sleep 10 minutes, then try auto-merge
auto_merge(github_token=github_token, nvauto_token=nvauto_token,
Expand Down

0 comments on commit 6675c62

Please sign in to comment.