> It's just weird that it only happened with the one Savannah repo. The gnulib repo is bigger than other repos that you may have tried. When the server is overloaded by AI bot requests, it can fulfil smaller 'git clone' requests but not large ones.
Bruno