GitHub pull requests

Merijn Verstraaten merijn at
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> 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...
Name: signature.asc
Type: application/pgp-signature
Size: 842 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <>

More information about the ghc-devs mailing list