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

[Simon Peyton-Jones]

-----Original Message-----
From: Julien Cretin [mailto:julien.cretin at 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-receive hook failed to push to github. Apparently github
complains because davve at dtek.chalmers.se did not specify a user.name
in his gitconfig. It happens in a very old commit (Apr 24th 2007)
which suggests that this error should have shown up too when you
pushed your hack for alex last week Simon (Marlow). Should I worry
about this or is darcs.haskell.org only what matters?

Here is the push log:

Counting objects: 32, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (18/18), done.
Writing objects: 100% (18/18), 1.67 KiB, done.
Total 18 (delta 15), reused 0 (delta 0)
Counting objects: 9259, done.
Compressing objects: 100% (3188/3188), done.
error: object 2b07607c4562034359f52b42055f8d2af4721ca4:invalid
author/committer line - missing space before email
fatal: Error in object
error: pack-objects died with strange error
error: failed to push some refs to 'git at github.com:ghc/haddock.git'
error: hooks/post-receive exited with error code 1
To GHC:/home/darcs/haddock.git
   2e5c12d..eaddddc  ghc-kinds -> ghc-kinds

Julien