(Resending to hit ghc-devs list.)
Yep, good point.
For those at home: this will affect you too, if you're pushing to
'ghc.haskell.org' instead of 'git.haskell.org'. Why?
Because ghc.haskell.org now uses a CDN (Content Delivery Network) to
cache and make the server a bit more responsive. But one of the
limitations of a CDN is they will not proxy your SSH access,
unfortunately. (We implemented this back on Sunday, I believe, so you
may only be seeing it now).
However, git.haskell.org remains off a CDN and will continue to do so,
meaning it will always be safe to push to via SSH.
I'll update the Git pages to reflect this.
On Thu, Oct 30, 2014 at 7:57 AM, Simon Peyton Jones
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
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
-- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/