GitHub pull requests

Gintautas Miliauskas gintautas at
Sun Oct 5 21:20:34 UTC 2014

Is there any particular reason why taking in GitHub pull requests would be
more problematic than, say, applying patches attached to Trac bugs? Both
have to be dealt with manually by someone with commit rights for the
canonical repository anyway. If the issue is important enough that, say,
tracking and reviews come into play, the contributor could always be asked
to move the patch to Phabricator/Trac. Let's keep the barriers as low as
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list