Haddock repo doesn't accept pushes?

[Herbert Valerio Riedel]

On 2014-05-25 at 08:50:21 +0200, Dr. ERDI Gergo wrote:
> Hi,
>
> I've just tried pushing a commit to the Haddock repo on git.haskell.org:

[...]

> So how do I get my commit (which is needed for a patch to GHC proper)
> into the Haddock repo?

short story: push to git at github.com:haskell/haddock.git instead

`haddock` is the first repo whose origin-repo got moved to github some
time ago, and I meant to write a bit more about how to cope with that.