On Tue, Sep 7, 2021 at 1:20 PM Konstantin Ryabitsev <konstantin@xxxxxxxxxxxxxxxxxxx> wrote: > > So, we can either live with an occasional fail like this or I can try to > figure out how to narrow down the rules for what is and isn't a valid pull > request. I guess the occasional false positives are fine - if this was the first time I noticed something like that in the almost three years (?) we've had pr-tracker-bot, and you figured out what happened quickly, it clearly isn't a huge problem in practice. Linus