Re: Git pull ack emails..

Linus Torvalds
2018-10-23T09:46:29Z

On Tue, Oct 23, 2018 at 10:35 AM Kirill A. Shutemov
<kirill@shutemov.name> wrote:
>
> Can you tag merge commit with message-id of the pull request?
> Automation machinery can reply to the pull request with proper CC list
> obtained from the archive?

If it's a "proper" pull request (ie done by git request-pull), then
the magic marker would be that it as that

for you to fetch changes up to %H:

line where %H is the hash of the tip of the tree that is requested to be pulled.

Then automation could literally just check "is that commit in Linus'
public tree", and when that happens, generate an automatic
notification that the pull request in question has been merged.

So this could all be automated for people who really want to automate
it. I'm not sure I want to do _that_ kind of automation, though. That
sounds more like "maybe something like that would make sense as an
extension of a patchwork-like tool".

I thik I'll just try the "ack when starting the pull" model and see
how that works. Maybe I was overthinking it.

And if it turns out that it would be better to ack after everything
has passed, I could easily just do an email filter for "messages that
are to me, but I have archived and not replied to, and that have 'git
pull' in them".

I use email filters for pinpointing the pulls to begin with, I could
just use email filters to pinpoint the pull requests that I have
already handled.

Linus