Corwin Brust <cor...@bru.st> wrote: > On Tue, Jan 7, 2025 at 9:22 AM Eli Zaretskii <e...@gnu.org> 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 > people so coverage for Savannah (&ct.) is much better during US > working hours for the time being.
I'm not so sure it's fixed. An https git clone of the gawk repo is taking a long time and has pegged one of my cores at 100%. The fan is going like crazy. I was able to do ssh git pushes without problem. Thanks, Arnold
