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 Bruno
