From dd8c3ab0035dcba3d03da3f823bbca0b4da390a4 Mon Sep 17 00:00:00 2001
From: Ivan Malison <IvanMalison@gmail.com>
Date: Thu, 29 Dec 2016 17:14:52 -0800
Subject: [PATCH] Whitespace tweak

---
 gen-gh-pages/deploy.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gen-gh-pages/deploy.sh b/gen-gh-pages/deploy.sh
index 6d45c3a8..fa641073 100755
--- a/gen-gh-pages/deploy.sh
+++ b/gen-gh-pages/deploy.sh
@@ -63,7 +63,6 @@ git fetch origin master
 
 if [ "$(git rev-parse origin/master)" == "$SHA" ]; then
   git push "$SSH_REPO" "$TARGET_BRANCH"
-
 else
     echo "The commit this build was started for is not the one on master. Doing nothing."
 fi