Set Git identity on deploy

Author: michalsnik

tools/deploy.sh

@@ -4,6 +4,9 @@ set -e
 npm run docs:build
 cd docs/.vuepress/dist
 
+git config --global user.email "circleci@circleci.com"
+git config --global user.name "CircleCI"
+
 git init
 git add -A
 git commit -m 'deploy'