message: Set CUSTOM_COMMIT_MESSAGE to skip CircleCI
diff: @@ -241,6 +241,7 @@ jobs:
  USE_SSH: "true"
  # We should be able to remove GIT_USER when we have upgraded to a Docusaurus version > 2.0.0-beta.9
  GIT_USER: "tvrobot"
  + CUSTOM_COMMIT_MESSAGE: "[skip ci] Deploy website"
  steps:
  - checkout-with-deps
  - attach_workspace:
  