Re: Re-creation of haddock repo

2011-06-06 Thread David Waern
2011/6/6 Ian Lynagh : > On Mon, Jun 06, 2011 at 05:45:19PM +, David Waern wrote: >> >> 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. > > If we do this, let's do it at the same time as recreating the binary > re

RE: Re-creation of haddock repo

2011-06-06 Thread Simon Peyton-Jones
| > 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

Re: Re-creation of haddock repo

2011-06-06 Thread Ian Lynagh
On Mon, Jun 06, 2011 at 05:45:19PM +, David Waern wrote: > > 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. If we do this, let's do it at the same time as recreating the binary repository. > To stop the two re