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
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