diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-10-01 13:34:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-01 15:03:39 +0200 |
| commit | 8441eb82f3a1a4d03eb0e194e91bc86017ab4466 (patch) | |
| tree | 848c8b52ed52b775c87ea9d726680743f2bd3332 /docs | |
| parent | 1170210d9cb103aa346ce7260db1c1819cb3c41f (diff) | |
dashboard/app: add unfix command
Add "#syz unfix" command that undoes "#syz fix" effects
and resets any existing fixing commits.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syzbot.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index 34f568c29..b947631cc 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -37,6 +37,10 @@ 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 undo a previous fix command and remove any fixing commits: +``` +#syz unfix +```` - to mark the bug as a duplicate of another `syzbot` bug: ``` #syz dup: exact-subject-of-another-report |