How to make Git faster
Our School uses a network filesystem, which has a high latency. Git tends to use a lot of files (up to 6700). You can make git use a bit more disk space but fewer files. This is especially cumbersome in the repository directory.
You can run this in the repository directory and in working copies:
git config gc.auto 50 git config gc.autopacklimit 15
Should make all operations faster. Or run this, which applies it by default for your user:
git config --global gc.auto 50 git config --global gc.autopacklimit 15