[Savannah-hackers-public] Having trouble pushing

[Aharon Robbins]

Hi.

I have just done a git push to the gawk repo, and it's running
inordinately slow. Like pushing an hour!  Doing ping git.sv.gnu.org
gets a response from the IPv6 address.

Help?

Thanks,

Arnold Robbins