> 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

> 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.