message: Switch docusaurus to DOCUSAURUS_GITHUB_TOKEN
  Summary:
  Pull Request resolved:
  As title.
diff: @@ -79,7 +79,7 @@ jobs:
  command: |
  git config --global user.email "docusaurus-bot@users.noreply.github.com"
  git config --global user.name "Website Deployment Script"
  - echo "machine github.com login docusaurus-bot password $GITHUB_TOKEN" > ~/.netrc
  + echo "machine github.com login docusaurus-bot password $DOCUSAURUS_GITHUB_TOKEN" > ~/.netrc
  echo "Deploying website..."
  unset CI_PULL_REQUEST CIRCLE_PULL_REQUEST
  cd website && yarn install && GIT_USER=docusaurus-bot USE_SSH=false yarn run publish-gh-pages
  