Made git pushes faster (for real this time, last commit had wrong message)