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

From: Linus Torvalds
Date: Sun Aug 04 2019 - 13:48:33 EST

On Thu, Aug 1, 2019 at 11:11 AM Micah Morton <mortonm@xxxxxxxxxxxx> wrote:
> The following changes since commit 609488bc979f99f805f34e9a32c1e3b71179d10b:
> Linux 5.3-rc2 (2019-07-28 12:47:02 -0700)
> are available in the Git repository at:
> tags/safesetid-maintainers-correction-5.3-rc2


This pull request was apparently not caught by pr-tracker-bot for some
reason, so it didn't get the automated "this has been pulled" message.

I'm not entirely sure why - it was cc'd to lkml, and I see it on lore as

so the email itself made it through the system. And it has "GIT PULL"
in the subject line, so the pr-tracker-bot should have looked at it.

I see a couple of _potential_ reasons why it might have been overlooked:

- maybe the "--" marker after your explanation made pr-tracker-bot go
"oh, the rest is just a signature"

- the fact that the git link looks more like a regular web thing, and
the branch name is on another line. Does pr-tracker-bot only trigger
on things?

- maybe pr-tracker-bot ignores follow-up emails with "Re:" in the subject?

but it could be something else too.

Adding Konstantin to the participants, since he knows the magic.

This is not a big deal, and I have probably missed a lot of other
cases where the pr-tracker-bot doesn't react to pull requests, but I
really like how it gives a heads-up to people about their pulls
without me having to do anything extra, so I generally try to look for
failures when I can.