Skip remote creation step and push directly to host alias

bin/push-gh-pages.sh

@@ -11,9 +11,5 @@ git add release
 git commit -m "Generated from $GIT_COMMIT"
 # create a new branch named 'gh-pages-$GIT_COMMIT' with only the code from the /release folder
 git subtree split --prefix release -b gh-pages-$GIT_COMMIT
-# add github-mozmar-robot remote if it doesn't exist
-if [[ ! $(git remote) =~ github-mozmar-robot ]]; then
-    git remote add github-mozmar-robot github-mozmar-robot:mozilla/awebpodcast
-fi
-# push our bespoke branch to the gh-pages branch
-git push -f github-mozmar-robot gh-pages-$GIT_COMMIT:gh-pages
+# push our bespoke branch to the gh-pages branch using the github-mozmar-robot host defined in ~/.ssh/config
+git push -f github-mozmar-robot:mozilla/awebpodcast gh-pages-$GIT_COMMIT:gh-pages