On Fri, Nov 8, 2024, at 22:40, Peter Kassak wrote: > Main difference (except OS) is git version. On Ubuntu is latest > installed via apt 2.43.0, on Windows is 2.47.0.windows.2. I tried a bit on Ubuntu 22.04, Git 2.47.0. I gave it 14 minutes and then it was apparently about 10000/32714 done. -- Kristoffer Haugsbakk