On Tue, Oct 23, 2018 at 10:10:47AM +0100, Linus Torvalds wrote: > So I feel that he automation model is just not good. The reply should > go to the actual pull request, not to the git history. People who want > just _that_ could already automate the git history thing without me > even doing anything at all, either scripting it themselves or by using > some filtering on the kernel commit mailing list..
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? -- Kirill A. Shutemov
