diff options
Diffstat (limited to 'docs/syzbot.md')
| -rw-r--r-- | docs/syzbot.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index aeed83197..ea679e8ce 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -28,11 +28,11 @@ emails. The commands are: ``` #syz fix: exact-commit-title ```` -It's enough that the commit is merged into any tree, in particular, -you don't need to wait for the commit to be merged into upstream tree. -`syzbot` only needs to know the title by which it will appear in tested trees. -In case of an error or a title change, you can override the commit simply -by sending another `#syz fix` command. +It's enough that the commit is merged into any tree or you are reasonably sure +about its final title, in particular, you don't need to wait for the commit to +be merged into upstream tree. `syzbot` only needs to know the title by which +it will appear in tested trees. In case of an error or a title change, you can +override the commit simply by sending another `#syz fix` command. - to mark the bug as a duplicate of another `syzbot` bug: ``` #syz dup: exact-subject-of-another-report |