Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread arnold
Hello All. Things are better at the moment (it's ~ 2:30 AM east coast time). But... Although an https clone no longer pegs my CPU at 100%, it still sucks: $ time git clone https://git.savannah.gnu.org/r/gawk.git Cloning into 'gawk'... Fetching objects: 61396, done. real11m34.265s user0m3

Re: [Savannah-hackers-public] Certificate for git.savannah.gnu.org expired

2025-01-07 Thread Bob Proulx
Mike Ford wrote: > The certificate for git.savannah.gnu.org expired 20 days ago as of today. Yes. Thank you for that report. What happened is that I forgot to sync the new certificates when I rolled the git service from one system to the other system. Drat! Usually these are already in sync bu

[Savannah-hackers-public] Certificate for git.savannah.gnu.org expired

2025-01-07 Thread Ford, Mike
The certificate for git.savannah.gnu.org expired 20 days ago as of today.

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread arnold
Corwin Brust wrote: > On Tue, Jan 7, 2025 at 9:22 AM Eli Zaretskii wrote: > > > > > > Thanks, looks like it got fixed now. > > > > Thank you for reporting and for confirming things are working better > now. FWIW we have recently added some sysops team-members in > additional Timezones however we

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread Corwin Brust
On Tue, Jan 7, 2025 at 9:22 AM Eli Zaretskii wrote: > > > Thanks, looks like it got fixed now. > Thank you for reporting and for confirming things are working better now. FWIW we have recently added some sysops team-members in additional Timezones however we're still training and on-boarding peop

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread Eli Zaretskii
> From: "Alfred M. Szmidt" > Cc: sysad...@gnu.org, arn...@skeeve.com, > savannah-hackers-public@gnu.org > Date: Tue, 07 Jan 2025 10:10:13 -0500 > > The admins are on it, someone is restarting Savannah. Thanks, looks like it got fixed now.

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread Alfred M. Szmidt
The admins are on it, someone is restarting Savannah.

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread Eli Zaretskii
> Date: Tue, 07 Jan 2025 14:17:55 +0200 > From: Eli Zaretskii > Cc: savannah-hackers-public@gnu.org > > > Date: Tue, 07 Jan 2025 12:12:45 +0200 > > From: Aharon Robbins > > > > I have just done a git push to the gawk repo, and it's running > > inordinately slow. Like pushing an hour! Doing pin

Re: [Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread Eli Zaretskii
> Date: Tue, 07 Jan 2025 12:12:45 +0200 > From: Aharon Robbins > > 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? Yes, please help. A simple "git pull" from

[Savannah-hackers-public] Having trouble pushing

2025-01-07 Thread 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