On 2025-09-06 07:52, Bruno Haible via Gnulib discussion list wrote:
For submodules, it can be customized via
git config --global url.git://git.savannah.gnu.org/.insteadof
git://git.git.savannah.gnu.org/
git config --global url.https://git.savannah.gnu.org/git/.insteadof
https://https.git.savannah.gnu.org/git/
git config --global url.git://git.savannah.gnu.org/gnulib.git.insteadof
https://github.com/coreutils/gnulib.git
git config --global url.https://git.savannah.gnu.org/git/gnulib.git.insteadof
https://github.com/coreutils/gnulib.git
Thanks for handling this. But I'm not quite following. Is this sort of
thing recommended for all developers that develop or use Gnulib? If so,
should it be documented in the Gnulib manual?
