Herbert, Austin
I was in a fairly old repo, but one I have been using daily, and pushing to the
central repo. The pushurl was
pushurl = ssh://[email protected]/ghc.git
That worked two days ago, but silently hangs now.
But when I finally realised that it should be "git.haskell.org" it works fine.
So something must have changed. I'm certain I was pushing to ghc.haskell.org
until a couple of days ago. Strange, and may be useful knowledge for others.
Anyway, no problem now. But the "Repositories" pages says nothing about what
URL to use for pushing - and it really should! That would be worth fixing.
Thanks
Simon
_______________________________________________
ghc-devs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-devs