I tried repeatedly to update using git:// URLs, but that was failing consistently (at least 100 trials) with this diagnostic:
fatal: The remote end hung up unexpectedly
and sometimes with this one:
fatal: read error: Connection reset by peer
I restarted git.sv.gnu.org's xinetd, and that seems to have
resolved the problem.
