Re: [Savannah-hackers-public] Unable to push or pull from the gawk git repo

2025-02-25 Thread Thérèse Godefroy
Le 25/02/2025 à 07:07, Alfred M. Szmidt a écrit : Everything should be back to normal now. Thanks!

Re: [Savannah-hackers-public] Unable to push or pull from the gawk git repo

2025-02-25 Thread Bob Proulx
Hi Arnold, Aharon Robbins wrote: > Savannah seems to be unresponsive. Pushing with an ssh:// url just hangs. > Pulling with a git:// URL gives me "fatal: read error: Connection reset by > peer". Thank you for the report. Yesterday the problem seemed to be that the root file system for the serv

Re: [Savannah-hackers-public] Unable to push or pull from the gawk git repo

2025-02-25 Thread Bob Proulx
> > Everything should be back to normal now. Yesterday the problem seemed to be that the root file system for the server locked up. And at that point processes stacked up to infinity until the entire system ran out of process slots. Unfortunately that happened in the early morning hours and was

Re: [Savannah-hackers-public] Git on Savannah unavailable?

2025-02-25 Thread Bob Proulx
> > Should be back up. Yesterday the problem seemed to be that the root file system for the server locked up. And at that point processes stacked up to infinity until the entire system ran out of process slots. Unfortunately that happened in the early morning hours and was down offline until FSF

Re: [Savannah-hackers-public] Git on Savannah unavailable?

2025-02-25 Thread Eli Zaretskii
> From: "Alfred M. Szmidt" > Cc: e...@gnu.org, savannah-hackers-public@gnu.org, sysad...@gnu.org > Date: Tue, 25 Feb 2025 01:07:29 -0500 > > Should be back up. Thanks.