On Sun, Apr 18, 2021 at 12:24 PM Arnd Bergmann <[email protected]> wrote: > > I forgot to add the '[GIT PULL]' in the subject line, replying to myself > here to ensure it hits the right email folder.
Well, the reply hit _my_ search criterion, but the pr-tracker-bot is a
bit more picky.
As a result, I don't think you'll get any automated reply from the bot.
So here's the manual one,
Linus
