From d4df100125773a8d11d159d58cdc7c34a0823de1 Mon Sep 17 00:00:00 2001
From: Andreas Heider <andreas@heider.io>
Date: Thu, 1 Mar 2018 23:15:02 +0000
Subject: [PATCH] Hopefully last gh pages fix

---
 scripts/publish-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/publish-docs.sh b/scripts/publish-docs.sh
index abf0346..b5879e4 100755
--- a/scripts/publish-docs.sh
+++ b/scripts/publish-docs.sh
@@ -23,7 +23,7 @@ touch .
 
 echo -e "Pushing changes to gh-pages"
 git add -A . 
-git commit -m "rebuild pages at ${rev}" --quiet
+git commit -m "rebuild pages" --quiet
 git push -q upstream HEAD:gh-pages
 
 echo -e "Deployed docs to GitHub Pages"