Re: [PATCH net 0/6] rxrpc: Miscellaneous fixes

David Miller [off-list ref] wrote:

I think the ".txt" at the end of the branch name is a mistake.

Sigh.  That's the name of the file with the cover message in it (named for the
tag).  I need to adjust my script yet more to check not only that the tag name
is in there, but that it also doesn't have any bits on the end.

David