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

-c is not optional, as reported by pytorchbot in https://github.com/pytorch/pytorch/pull/88384#issuecomment-1334261712

dbort
2022-12-01 11:36:34 -08:00
parent 4e849d4f13
commit 56184a555f
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

@ -45,7 +45,7 @@ optional arguments:
```
## Revert
```
usage: @pytorchbot revert -m MESSAGE [-c {nosignal,ignoredsignal,landrace,weird,ghfirst}]
usage: @pytorchbot revert -m MESSAGE -c {nosignal,ignoredsignal,landrace,weird,ghfirst}
Revert a merged PR. This requires that you are a Meta employee.