GHC 7.8 release?

Roman Cheplyaka roma at
Sun Feb 10 12:58:10 CET 2013

* Manuel M T Chakravarty <chak at> [2013-02-10 21:17:07+1100]
> Re (2): we should encourage contributors to fork the GHC repos on
> GitHub and work in those. That makes it easy for everybody to build
> forks (which will be longer-lived under the above policy) and creating
> a fork doesn't require any special privileges in GHC repos. Finally,
> we can use GitHub pull requests to track contributions that are
> pending integration. This is IMHO also much nicer than attaching
> patches at Trac tickets.

FYI, it is also possible to create pull requests from one branch to
another. So, for people who already have push-access to the main repo
it is not strictly necessary to fork in order to submit a pull request.


More information about the ghc-devs mailing list