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)

Kerry Zeng
2022-05-12 13:04:07 -05:00
parent 0d684260d7
commit e42e16af7c
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

@ -31,7 +31,7 @@ Examples:
Similar to merging, we have a command to revert a PR, though it requires you be a Meta employee at the moment. You can always submit a PR to back out a change and merge with the commands above. Revert requires you to provide both a message and classification for record keeping purposes.
```
@pytorch bot revert -m="" -c=""
@pytorch bot revert -m="This is breaking tests on trunk" -c=nosignal
```
-m, -message: The reason why you are reverting this PR. Must be at least 3 words.