3 ms·

Git is distributed. There are git mirrors everywhere and if you pulled the source code once locally you also still have it.