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

Updated Bot commands (markdown)

gmagogsfm
2023-05-04 15:14:27 -07:00
parent 31060934d5
commit 2b76044ddb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Bot-commands.md

@ -30,7 +30,7 @@ command:
```
## Merge
```
usage: @pytorchbot merge [-f MESSAGE | -ic] [-r [{viable/strict,master}]]
usage: @pytorchbot merge [-f MESSAGE | -ic] [-r [{viable/strict,main}]]
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.