On Fri, Jun 2, 2017 at 5:26 PM, Junio C Hamano <gits...@pobox.com> wrote: > > Issue #06 of May marked it to be merged to 'next': > https://public-inbox.org/git/<xmqqo9ulo1yn....@gitster.mtv.corp.google.com> > > Issue #07 of May marked it for 'master': > https://public-inbox.org/git/<xmqqwp98j8q2....@gitster.mtv.corp.google.com> > > Issue #08 of May kept it (i.e. no issues discovered in the > meantime): > https://public-inbox.org/git/<xmqq1sr889lb....@gitster.mtv.corp.google.com> > > Issue #01 of June reports it in 'master': > https://public-inbox.org/git/<xmqqshjk5ezb....@gitster.mtv.corp.google.com> >
Today I learned again how public-inbox is awesome! Thanks Eric! * You can just copy the message ID INCLUDING the surrounding < > and public inbox still just shows you the correct message. I had assumed you would need to strip off the < > and I did so since. * However with the < > unstripped, the awesomeness is limited: Some tools (including my mail reader as well as public inbox itself[1]) do not recognize the link when there are < > in there. While the second point is not the end of the world, it's still slightly annoying, which is why I thought I'll point it out here. [1] https://public-inbox.org/git/xmqqvaodx6g4....@gitster.mtv.corp.google.com/ Thanks, Stefan
