Manual git pushes ensure the highest level of security and error avoidance.

I routinely find myself having to do one-off post-deployment things that would be a nightmare to try and script into the ci flow.