remove the `develop` branch (workflow changed)

40342234 · Miroslav Kratochvil · 2e17aae2 · 40342234
Commit 40342234 authored Feb 06, 2021 by Miroslav Kratochvil
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -5,7 +5,6 @@ on:
  push:
    branches:
      - master
-      - develop
    tags: '*'
  release:
    types: [published, created]