Re: [boost] [release notes] Linking to github issues/pull requests

On 01/13/18 19:43, Daniel James via Boost wrote:

On 12 January 2018 at 12:35, Andrey Semashev via Boost wrote:

...

Looks good, although I would prefer if Trac tickects could be distinguished from GitHub issues. Maybe expand issues to GH#number?

I don't think GH would be as obvious as PR. Maybe GitHub#number would be better?

GitHub#number is ok, too. I wanted the prefix to be short, if possible, so that the issue numbers don't clutter the rest of the text too much, especially if there are many references.

I was following the existing release notes were people have just used #number. It's not that confusing as the numbers are much lower than they are for trac, and the links go to the right place.

Yeah, it's not a strong preference of mine, as I can always see where the link leads to. Just something that I would do in my release notes. It's fine if you decide to leave it without a prefix.