Merge pull request #8 from vighneshbirodkar/circle_fix

Cause the build to fail when pushing docs is unsuccessful.

Author: MechCoder

ci_scripts/push_doc.sh

@@ -44,5 +44,10 @@ git config --global user.name $USERNAME
 git add -f ./$DOC_URL/
 git commit -m "$MSG"
 git push -f origin gh-pages
+if [ $? -ne 0 ]; then
+    echo "Pushing docs failed"
+    echo
+    exit 1
+fi
 
 echo $MSG 

circle.yml

@@ -52,5 +52,5 @@ general:
     - "~/log.txt"
   # Restric the build to the branch master only
   branches:
-    only:
-       - master
+    ignore:
+       - gh-pages