[Haddock] Re-creation of haddock repo

Simon Peyton-Jones simonpj at microsoft.com
Mon Jun 6 22:17:51 BST 2011


|  > So I'd like to ask you if you'd be OK with this plan? You would all
|  > need kill your local haddock2 clones and create new clones.

I'm ok with this.  You're correct that the ghc-generics branch is now dead, ditto ghc-new-co.

|  > To stop the two repos from diverging again we could either kill the
|  > darcs repo or forbid comitting directly to the git repo.
|  
|  In the darcs days, the two were intentionally diverging as the upstream
|  repo was supporting the last stable GHC release, whereas the GHC HEAD
|  repo needed to work with HEAD. How are we going to handle that now?

Presumably the same way as we do the libraries -- by branching at the same time as we branch HEAD?

Simon



More information about the Haddock mailing list