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

Subject: Re: [boost] [release notes] Linking to github issues/pull requests
From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2018-01-13 16:52:59

On 01/13/18 19:43, Daniel James via Boost wrote:
> On 12 January 2018 at 12:35, Andrey Semashev via Boost
> <boost_at_[hidden]> 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.