diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-08 18:46:20 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-08 18:46:20 +0100 |
| commit | 2f6fb923683af1397d3d6abea0bde51a9bdcdca7 (patch) | |
| tree | dc9bf7fdbf9f40ed6a88316a9c4bf6d1e1125c6c | |
| parent | 8e1e4403ac29a60350169da5449a1497635ee13b (diff) | |
dashboard/app: improve working in bug email
As per discussion in:
https://groups.google.com/d/msg/syzkaller-bugs/atbKWcFqE9s/w88o2OvsAwAJ
| -rw-r--r-- | dashboard/app/mail_bug.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/app/mail_bug.txt b/dashboard/app/mail_bug.txt index db319cc5b..32d712c70 100644 --- a/dashboard/app/mail_bug.txt +++ b/dashboard/app/mail_bug.txt @@ -21,7 +21,7 @@ Direct all questions to syzkaller@googlegroups.com. Please credit me with: Reported-by: syzbot <syzkaller@googlegroups.com> syzbot will keep track of this bug report. -Once a fix for this bug is committed, please reply to this email with: +Once a fix for this bug is merged into any tree, reply to this email with: #syz fix: exact-commit-title{{if or .ReproC .ReproSyz}} If you want to test a patch for this bug, please reply with: #syz test: git://repo/address.git branch |