5 Nov
2020
5 Nov
'20
10:54 p.m.
On Thu, Nov 5, 2020 at 2:01 PM Shuah Khan skhan@linuxfoundation.org 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