OK haddock is working fine now.
On 16 August 2011 17:01, David Peixotto wrote:
>
> On Aug 16, 2011, at 5:05 PM, David Terei wrote:
>> Anyway. I emailed the github people and got them to disable the error
>> checking step on the cabal repo on github just a few days back, and so
>> now the cabal re
On Aug 16, 2011, at 5:05 PM, David Terei wrote:
> Anyway. I emailed the github people and got them to disable the error
> checking step on the cabal repo on github just a few days back, and so
> now the cabal repo is up to date and working fine. I'll email them now
> about the haddock repo and ask
> Sent: 16 August 2011 21:48
> To: Simon Peyton-Jones; Simon Marlow
> Subject: post-receive failure to push on github for haddock
>
> Hi,
>
> While pushing ghc-kinds on darcs.haskell.org/home/darcs/haddock.git,
> the post-receive hook failed to push to github. Apparently git
-Original Message-
From: Julien Cretin [mailto:julien.cre...@polytechnique.org]
Sent: 16 August 2011 21:48
To: Simon Peyton-Jones; Simon Marlow
Subject: post-receive failure to push on github for haddock
Hi,
While pushing ghc-kinds on darcs.haskell.org/home/darcs/haddock.git,
the post
