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

Reply via email to