From: Haelwenn <contact+git.pleroma.social@hacktivis.me>
Date: Wed, 6 Nov 2019 01:13:20 +0000 (+0000)
Subject: Merge branch 'ci/remove-docs-build' into 'develop'
X-Git-Url: https://git.squeep.com/?a=commitdiff_plain;h=efc4d6d9ecf7f5acad21ebd9274149ed1c041b22;p=akkoma

Merge branch 'ci/remove-docs-build' into 'develop'

CI: Remove the docs-build job

See merge request pleroma/pleroma!1941
---

efc4d6d9ecf7f5acad21ebd9274149ed1c041b22