[enriquto]

> The git server is something that's due for a revamp,

Thanks for the suggestion! Indeed the largest repos are the slowest to update, even when we only change a single character on a small text file. This behavior is surprising because it is not what happens in git proper, some other part of the system must be introducing the delay.

I look forward to a normalization of overleaf's git interface, most notably the ability to have regular files, symbolic links and so on.