git push after deploy

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile b/Makefile
index 5d842878d65fb7d8ac34fac14995421b042e128d..b5506633a8bb56ac8e68c050d74f2cd99e3ba794 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -269,6 +269,8 @@ deploy: stamp/cargo.deploy-build bundled-sources assets libraries
        rsync -r nwtemplates/*.tera $(DEPLOY_BASE)/nwtemplates/
        ssh -o BatchMode=true $(DEPLOY_USER) $(DEPLOY_FINISH)
        git branch -f $(DEPLOYED_BRANCH)
+       -git push origin
+       -git push chiark
 
 #$(DEPLOY_BASE)/bundled-sources