From 8441eb82f3a1a4d03eb0e194e91bc86017ab4466 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Thu, 1 Oct 2020 13:34:16 +0200 Subject: dashboard/app: add unfix command Add "#syz unfix" command that undoes "#syz fix" effects and resets any existing fixing commits. --- docs/syzbot.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'docs') 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 -- cgit mrf-deployment