From: Oto Šťáva <oto.stava@nic.cz>
Date: Tue, 16 Apr 2024 13:38:58 +0000 (+0200)
Subject: Merge branch 'website-push-docs' into 'master'
X-Git-Tag: v5.7.3~9
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fenvironments%2Fobs-knot-resolver-es11k1%2Fdeployments%2F3915;p=thirdparty%2Fknot-resolver.git

Merge branch 'website-push-docs' into 'master'

gitlab-ci: push docs to the website (manual CI)

See merge request knot/knot-resolver!1530
---

b5b121eb94c72294f1b26219e1de16c2b5ee5992