Re: [GIT PULL] SafeSetID MAINTAINERS file update for v5.3

[Konstantin Ryabitsev]

On Mon, Aug 05, 2019 at 12:17:49PM -0700, Linus Torvalds wrote:
> > However, I suspect that getting message-ids for all your pull 
> > requests
> > would significantly complicate your workflow.
>
> Yeah, that would be a noticeable annoyance. If I were to process pull
> requests the way I used to process emailed patches (ie "git am -s" on
> a mailbox) that would be a natural thing to perhaps do, but it's not
> at all how it ends up working. Having to save the pull request email
> to then process it with some script would turn it into a chore.
>
> I think the pr-tracker-bot clearly catches most cases as it is, and
> it's only the occasional "somebody did something odd" that then misses
> an automated response. Not a huge deal. For me it was actually more
> the "I didn't understand why the response didn't happen", not so much
> "I really want to always see responses".

Ok, let me add a fix for Re: at the start -- this won't make things
significantly more expensive, but will catch this particular corner 
case.

Best regards,
-K