Document git push deploys.