Merge pull request #724 from nellh/fix-tagged-builds

No need to delete gh-pages branch with circle checkout script

Author: olgn

circle.yml

@@ -92,9 +92,6 @@ jobs:
       - run: git config --global user.email circleci@circleci
       - run: git config --global user.name CircleCI
       - run: ssh-keyscan github.com >> ~/.ssh/known_hosts
-      - run:
-          name: Delete old gh-pages branch
-          command: git branch -D gh-pages
       - run:
           name: Create new gh-pages branch without history
           command: git checkout --orphan gh-pages