Moving Haddock *development* out of GHC tree
Edward Z. Yang
ezyang at mit.edu
Fri Aug 29 12:56:39 UTC 2014
I think the pre-commit hook needs to be adjusted; I used to have
push rights on master, but I cannot seem to push to ghc-head.
Excerpts from Herbert Valerio Riedel's message of 2014-08-16 16:34:46 +0100:
> On 2014-08-16 at 16:59:51 +0200, Mateusz Kowalczyk wrote:
> > Herbert kindly updated the sync-all script that
> > defaults to the new branch so I think we're covered.
> Minor correction: I did not touch the sync-all script at all. I merely
> declared a default branch in the .gitmodules file:
More information about the ghc-devs