frozenleaves/pytorch
1
0
Fork 0
mirror of https://github.com/pytorch/pytorch.git synced 2025-10-20 21:14:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

How to cancel your merge

Zain Rizvi
2022-10-05 13:24:25 -05:00
parent 334cb8f171
commit 53d12391bd
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Bot-commands.md

@ -51,7 +51,9 @@ command:
usage: @pytorchbot merge [-g | -f MESSAGE | -l] [-r [{viable/strict,master}]]
Merge an accepted PR, subject to the rules in .github/merge_rules.json.
By default, this will wait for all required checks (lint, pull) to succeed before merging.
By default, this will wait for all required checks (lint, pull, etc) to succeed before merging.
If you initiate a merge but then change your mind, if the merge hasn't completed yet you can cancel the operation by deleting your merge comment.
optional arguments:
-g, --green Merge when all status checks running on the PR pass. To add status checks, use labels like `ciflow/trunk`.