* Thomas Gleixner <t...@linutronix.de> wrote:
> +Commit notifications > +-------------------- > + > +The tip tree is monitored by a bot for new commits. The bot sends an email > +for each new commit to a dedicated mailing list > +(``linux-tip-comm...@vger.kernel.org``) and Cc's all people who are > +mentioned in one of the commit tags. It uses the email message id from the > +Link tag at the end of the tag list to set the In-Reply-To email header so > +the message is properly threaded with the patch submission email. s/id /ID > + > +The maintainers try to reply to the submitter when merging a patch, but > +they sometimes forget or it does not fit the workflow of the moment. While > +the bot message is purely mechanical assume it implies a 'Thank you! > +Applied.'. s/The maintainers /The -tip maintainers and submaintainers s/is purely mechanical assume it implies a 'Thank you! Applied.' /is purely mechanical, it also implies a 'Thank you! Applied.' message. ... added a missing comma, plus there's nothing to assume, that the thank-you note is implied is a given! :-) Thanks, Ingo