Am Freitag, 6. Juli 2018, 09:38:41 CEST schrieb Dmitry Vyukov: Hi Dmitry, > On Thu, Jul 5, 2018 at 8:45 PM, Stephan Müller <smueller@xxxxxxxxxx> wrote: > > Am Donnerstag, 5. Juli 2018, 19:02:01 CEST schrieb syzbot: > > > > Hi Dimitry, > > > > does the syzkaller somehow uses the "---" separator as part of the URL? > > It used it as branch. Please see: > > https://github.com/google/syzkaller/blob/master/docs/syzbot.md#testing-patch > es > > for formats. In all formats a git tree is not enough. And it is not > enough to identify code state in any other context too, it's always > git repo + branch or commit hash. And which branch should I use for the kmsan.git repo? Ciao Stephan
