From f869dec76d10fc559f3f95eb8575f25b5d581d47 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Dec 2020 14:01:32 +0000
Subject: [PATCH] git push after deploy

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
2.30.2