Fixed bug where git push didn't actually happen