Boost logo

Boost :

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.

Boost list run by bdawes at, gregod at, cpdaniel at, john at