Added 'git push' to deploy

So we don't forget to push our changes to the repository when we deploy