> Date: Thu, 16 Oct 2025 03:46:51 +0200 > From: Bruno Haible via "Discussions among Savannah Hackers, > open subscription" <[email protected]> > > Collin Funk wrote: > > I haven't been able to pull from the Git mirror for the past few days: > > > > $ git pull > > fatal: unable to access > > 'https://https.git.savannah.gnu.org/git/gnulib.git/': The requested URL > > returned error: 502 > > As a workaround, you can use other mirrors. See the git config commands at > https://lists.gnu.org/archive/html/coreutils/2025-09/msg00268.html
But that needs to be set up by Github, no? IOW, there's no guarantee that any given GNU package will have such a mirror set up, right?
