To clarify, the slow git push was likely custom pre-receive hooks being slow.