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