Re: FW: post-receive failure to push on github for haddock

2011-08-16 Thread David Terei
What timing! So this problem also existed with the Cabal repo on github. I don't think the cause of the error is anything to do with a users git config though, I think its a problem that arises from darcs patches that have been converted to git. It might be worth checking the various darcs convert

FW: post-receive failure to push on github for haddock

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