[savannah-help-public] git.sv.gnu.org flaky; pumprock.net connection refused

[Paul Eggert]

git.sv.gnu.org was flaky a few minutes ago. Sometimes it would work, and 
sometimes not; see transcript below.

When I visit https://pumprock.net/fsfstatus for the out-of-band status report 
for Savannah status, I get "Connection refused". Has that the fsfstatus URL 
changed? It's still listed at 
https://savannah.gnu.org/maintenance/NotSavannahAdmins/ and other places.

--- start of transcript ---

1041-Penguin $ git pull
ssh_exchange_identification: Connection closed by remote host
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
...
1044-Penguin $ git pull -v
From git.sv.gnu.org:/srv/git/gnulib
 = [up to date]          master             -> origin/master
 = [up to date]          EMACS_21_1_RC      -> origin/EMACS_21_1_RC
 = [up to date]          FILEUTILS          -> origin/FILEUTILS
 = [up to date]          SHELLUTILS         -> origin/SHELLUTILS
 = [up to date]          TEXTUTILS          -> origin/TEXTUTILS
 = [up to date]          akim-fix-upload    -> origin/akim-fix-upload
 = [up to date]          akim/relpath       -> origin/akim/relpath
 = [up to date]          coreutils-8.9      -> origin/coreutils-8.9
 = [up to date]          diff-merge         -> origin/diff-merge
 = [up to date]          emacs-unicode      -> origin/emacs-unicode
 = [up to date]          emacs-unicode-2    -> origin/emacs-unicode-2
 = [up to date]          haible-private     -> origin/haible-private
 = [up to date]          karl               -> origin/karl
 = [up to date]          lexbind            -> origin/lexbind
 = [up to date]          origin             -> origin/origin
 = [up to date]          pygnulib           -> origin/pygnulib
 = [up to date]          python             -> origin/python
 = [up to date]          topic/libposix     -> origin/topic/libposix
 = [up to date]          ueno/unicode-9.0.0 -> origin/ueno/unicode-9.0.0
Already up to date.
1045-Penguin $ git pull
ssh_exchange_identification: Connection closed by remote host
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
1046-Penguin $ git pull
Already up to date.