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.