On Fri, Jun 2, 2017 at 5:26 PM, Junio C Hamano <[email protected]> wrote: > > Issue #06 of May marked it to be merged to 'next': > https://public-inbox.org/git/<[email protected]> > > Issue #07 of May marked it for 'master': > https://public-inbox.org/git/<[email protected]> > > Issue #08 of May kept it (i.e. no issues discovered in the > meantime): > https://public-inbox.org/git/<[email protected]> > > Issue #01 of June reports it in 'master': > https://public-inbox.org/git/<[email protected]> >
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/[email protected]/ Thanks, Stefan
