GitHub pull requests
merijn at inconsistent.nl
Tue Oct 21 03:44:43 UTC 2014
Whoops, accidentally only addressed Ben instead of the list:
On 20 Oct 2014, at 12:13 , Ben Gamari <bgamari.foss at gmail.com> wrote:
> a) Confusion between Github issue numbers, Trac bug numbers, and
> Phabricator identifiers
It is possible to disable GitHub issues on a repository, would this not at least solve the issue number confusion?
I only figured this out today when trying to *enable* issues on my personal fork of another project.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
More information about the ghc-devs