Merge pull request #8171 from dotty-staging/stop-documentation-on-merge

Stop documentation on merge

Author: anatoliykmetyuk

.drone.yml

@@ -78,25 +78,6 @@ steps:
     - tag
     - promote
 
-- name: documentation
-  pull: default
-  image: lampepfl/dotty:2020-01-22-2
-  depends_on:
-  - test
-  - test_bootstrapped
-  - community_build
-  - test_java11
-  commands:
-  - ./project/scripts/genDocs
-  environment:
-    BOT_TOKEN:
-      from_secret: bot_token
-  when:
-    branch:
-    - master
-    event:
-    - push
-
 - name: publish_nightly
   pull: default
   image: lampepfl/dotty:2020-01-22-2