Added git push to deploy script to ensure github is synced before updating web server