URL issue

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://git@ghc.haskell.org/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