From caced2a9bc7f494027feb16c31e4ea9e2b24a717 Mon Sep 17 00:00:00 2001
From: "Johnny @PC" <johnny.96@gmx.de>
Date: Tue, 24 Feb 2015 20:00:21 +0100
Subject: [PATCH] Only push when it's not a PR

---
 push-ghpages.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/push-ghpages.sh b/push-ghpages.sh
index cdb308f6..bea062dc 100644
--- a/push-ghpages.sh
+++ b/push-ghpages.sh
@@ -1,4 +1,7 @@
 #!/bin/bash
+
+if [ "$TRAVIS_PULL_REQUEST" == "false" ]
+
 echo Starting push to gh-pages...
 mkdir deploy
 cd deploy
@@ -14,4 +17,6 @@ git add -f .
 git commit -m "Automatic built mkdocs | Travis Build $TRAVIS_BUILD_NUMBER pushed"
 git push -fq origin gh-pages > /dev/null
 
-echo -e "Done"
\ No newline at end of file
+echo -e "Done"
+
+fi
\ No newline at end of file