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

Subject: Re: [boost] [release notes] Linking to github issues/pull requests
From: Daniel James (dnljms_at_[hidden])
Date: 2018-01-13 16:43:51

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? 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.