From 9bfbbc1ae2b9bd807f59dc0772235cb579ee4b06 Mon Sep 17 00:00:00 2001
From: Dan Holmsand <holmsand@gmail.com>
Date: Sun, 30 Nov 2014 10:13:19 +0100
Subject: [PATCH] Make gh-pages pushing more explicit

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 20a5f23..6d21c4a 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ trigger-build:
 
 # build site and push upstream to the gh-pages branch
 push-gh-pages: build-gh-pages
-	git push origin gh-pages
+	git push origin gh-pages:gh-pages
 
 build-gh-pages: gen-site gh-pages-add