Is ssh to Savannah failing?

[Trevor Daniels]

I've not been able to push to Savannah this 
afternoon.  I get:

ssh: connect to host 199.232.41.69 port 22: Bad file number
fatal: The remote end hung up unexpectedly

Same error with pull.

Is this a problem at the Savannah end or mine?

Trevor