Merge branch 'ci/remove-docs-build' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Wed, 6 Nov 2019 01:13:20 +0000 (01:13 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Wed, 6 Nov 2019 01:13:20 +0000 (01:13 +0000)
CI: Remove the docs-build job

See merge request pleroma/pleroma!1941


Trivial merge