On 27/09/2025 23:55, Bruno Haible via GNU coreutils General Discussion wrote:
Collin Funk wrote:
today I ran into:
$ git pull
fatal: unable to access
'https://https.git.savannah.gnu.org/git/gnulib.git/': The requested URL
returned error: 502
I live reasonably well with these git-level replacement rules:
git config set --global --append url.git://git.git.savannah.gnu.org/.insteadOf
git://git.savannah.gnu.org/
git config set --global --append
url.https://https.git.savannah.gnu.org/git/.insteadOf
https://git.savannah.gnu.org/git/
git config set --global --append
url.https://github.com/coreutils/gnulib.git.insteadOf
git://git.savannah.gnu.org/gnulib.git
git config set --global --append
url.https://github.com/coreutils/gnulib.git.insteadOf
https://git.savannah.gnu.org/git/gnulib.git
git config set --global --append
url.https://github.com/coreutils/coreutils.git.insteadOf
git://git.savannah.gnu.org/coreutils.git
git config set --global --append
url.https://github.com/coreutils/coreutils.git.insteadOf
https://git.savannah.gnu.org/git/coreutils.git
The github.com mirror is more reliable and has higher bandwidth.
This raises two questions:
* Pádraig, how are the mirrors of coreutils and gnulib on github set up?
Is it some old technique from GitHub, that is no longer available to
new repositories? Or is it some script / cron job of yours?
One could request this with an email back in the day.
They set it up promptly when I asked.
I'm not sure if they support adding new mirrors though,
and I didn't find any info with a quick search.
> * Should we create mirrors of other package repositories at GitLab or GitHub?
Well gitlab is open source and can be self hosted,
so I suppose it's a preferable choice for general mirroring.
https://docs.gitlab.com/user/project/repository/mirror/
cheers,
Padraig
