On Thu, Nov 5, 2020 at 2:01 PM Shuah Khan <[email protected]> wrote:
>
> Oops. I don't usually miss adding [GIT PULL] - will pay more attention.
No problem. As mentioned, my own workflow doesn't actually care as
long as the body of the mail has that "please pull" and "git"
mentioned.
And I wouldn't have noticed the pr-tracker-bot reply missing either,
if it wasn't for the fact that I replied to the pull request for other
reasons..
So no worries, just a note on how that "[GIT PULL]" marker might be
helpful for _you_ to see "oh, Linus pulled it, I can forget about it".
Linus
