From 250befd71e2e6d130e5b5c672ca23da15dcd38ed Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Mon, 24 Jul 2017 17:16:20 +0100
Subject: [PATCH] Use SSH repo

---
 publish.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/publish.sh b/publish.sh
index b94714d7..5ea00a37 100755
--- a/publish.sh
+++ b/publish.sh
@@ -2,6 +2,9 @@
 
 SITE_ENV="prod"
 
+REPO=`git config remote.origin.url`
+SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
+
 # Build front-end assets.
 npm run prod
 
@@ -15,4 +18,4 @@ mv output_${SITE_ENV} docs
 # Add, commit and push the changes.
 git add --all docs
 git commit -m 'Build.'
-git push origin HEAD
+git push $SSH_REPO HEAD