Merge tag '0.9.0' into dfsg/latestdfsg/latest

1 files changed, 0 insertions, 4 deletions

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 7e15a65..d0e972c 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -117,10 +117,8 @@ jobs:
                 echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
                 cd master
                 cp -a /tmp/build/html/* .;
-                cp -a /tmp/build/html/.github/* .github/;
                 touch .nojekyll;
                 git add -A;
-                git add -f .github/* ;
                 git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
                 git push origin master;
               else
@@ -157,10 +155,8 @@ jobs:
               git clean -xdf
               echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
               cp -a /tmp/build/html/* .;
-              cp -a /tmp/build/html/.github/* .github/;
               touch .nojekyll;
               git add -A;
-              git add -f .github/* ;
               git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
               git push origin master;