update rtd push script

Author: adrn

.circleci/rtd-push.sh

@@ -10,12 +10,14 @@
 #   exit 1
 # fi
 
-if [[ ! -z $CIRCLE_PULL_REQUEST ]] ; then
-    # git checkout --orphan rst
-    # git add -f tutorials/rst-tutorials/*
-    # git -c user.name='travis' -c user.email='travis' commit -m "now with RST"
-    # git push -q -f https://adrn:$GITHUB_API_KEY@github.com/astropy/astropy-tutorials rst;
-    echo "Not a pull request: pushing RST files to `rst` branch!"
+if [[ -z $CIRCLE_PULL_REQUEST ]] ; then
+    git checkout --orphan rst
+    git add -f tutorials/rst-tutorials/*
+    git -c user.name='circle' -c user.email='circle' commit -m "now with RST"
+    git remote add origin git@github.com:astropy/astropy-tutorials.git
+    git push -q -f origin rst
+    echo "Not a pull request: pushing RST files to rst branch."
 else
+    echo $CIRCLE_PULL_REQUEST
     echo "This is a pull request: not pushing RST files."
 fi