Merge pull request #12 from Microsoft/ci

Attempt to fix CircleCI GitHub pages auto-deploy

Author: bengry

.circleci/config.yml

@@ -75,10 +75,19 @@ jobs:
       - deploy:
           command: |
             if [ "${CIRCLE_BRANCH}" == "master" ]; then
-              git add -A && git commit -m 'Deploy to GitHub pages [ci]' && git push
+              git config user.name "CircleCI"
+              git config user.email "circleci@users.noreply.github.com"
+              git add -A
+              git commit -m 'Deploy to GitHub pages [ci]'
+              git push
             fi
 workflows:
   version: 2
+
+  build:
+    jobs:
+      - build
+
   build_and_publish-docs:
     jobs:
       - build