On Thu, Jul 12, 2018 at 1:26 PM, Thomas Gleixner <t...@linutronix.de> wrote:
> On Thu, 12 Jul 2018, John Stultz wrote:
>> I had a few other items in my stack here, but you've already
>> queued them in -tip, so here's what I have left.
> Did I miss you replying on them that you picked them up? Normally when I
> see that you or Daniel picked something up I happily move the mails to the
> done folder unless I see something horrible.
No, that's my fault. I'll try to be better about making that clear so
you don't duplicate work. You're just much faster then I am :)
>> Let me know if you have any objections or feedback for change.
> One small request for the next pull request. Please write a short summary,
> optionally in a tag, then pulling the tag adds it to the merge commit message.
> But plain in the pull request mail is fine as well.
Sure, I'll try to take a swing at this next time, I've not done much
with git tags (other then trying to do a signature tag long ago when I
still had a valid gpg key :)