[racket-dev] git.racket-lang.org down?

A few minutes ago, Robby Findler wrote:
> I'm having trouble connecting to git.racket-lang.org (but my internet
> connection generally appears to be up).
> 
> C:\Users\robby\git\plt>git remote update
> Fetching origin
> ssh: connect to host git.racket-lang.org port 22: Bad file number
> fatal: The remote end hung up unexpectedly
> error: Could not fetch origin
> Fetching plt
> ssh: connect to host git.racket-lang.org port 22: Bad file number
> fatal: The remote end hung up unexpectedly
> error: Could not fetch plt

First page that came up for me:

  http://stackoverflow.com/questions/7144811

has what looks like a good answer (the highest voted, not the accepted
one) -- it says that the "port 22: Bad file number" is some MINGW
thing (I think that this is the usual git on windows) that happens
when you're blocked for some reason.  Is it possible that you got
blacklisted?  If not, then maybe some firewall or some connection
issues?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!