GitHub pull requests

[Merijn Verstraaten]

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.

Cheers,
Merijn
-------------- 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: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141020/b4ff5f76/attachment.sig>