From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Dec 2020 14:01:32 +0000 (+0000)
Subject: git push after deploy
X-Git-Tag: otter-0.2.0~210
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f869dec76d10fc559f3f95eb8575f25b5d581d47;p=otter.git

git push after deploy

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

diff --git a/Makefile b/Makefile
index 5d842878..b5506633 100644
--- 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