diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-11-20 14:19:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-11-20 14:20:38 +0100 |
| commit | 9aca6b5240809308d9078a0a0f0707512c5b0220 (patch) | |
| tree | 72d2818c1d26337a0c10a6890750aa733ef0568f /docs | |
| parent | 1828ebc0fabe693be934c58899cfd5e91562b3a4 (diff) | |
pkg/vcs: also recognize Tested-by: git commit tags
For context see:
https://groups.google.com/d/msg/syzkaller-bugs/xiSF9GdiikU/uBoyYyf3AQAJ
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/syzbot.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/syzbot.md b/docs/syzbot.md index c04d4fbe4..48a80cda6 100644 --- a/docs/syzbot.md +++ b/docs/syzbot.md @@ -21,8 +21,9 @@ crashes create a new bug). ## Communication with syzbot If you fix a bug reported by `syzbot`, please add the provided `Reported-by` -tag to the commit. You can also communicate with `syzbot` by replying to its -emails. The commands are: +tag to the commit (`Reported-and-tested-by` and `Tested-by` tags with the +`syzbot+HASH` address are recognized as well). You can also communicate with +`syzbot` by replying to its emails. The commands are: - to attach a fixing commit to the bug (if you forgot to add `Reported-by` tag): ``` |