Merge remote-tracking branch 'origin/master' into 6.0

diff --cc .gitlab-ci.yml
index ef3ddde14f764b7dc09d1a386d22577ce682e580,66e63419e7be9084bcaf5d6a6147543cd89876c6..5a13e7fc0376767e30585b3deaaa39398d4c4489
--- 1/.gitlab-ci.yml
--- 2/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@@ -733,17 -815,24 +733,35 @@@ docs:release
        - doc/html
    environment:
      name: docs-release/$CI_COMMIT_TAG
 -    url: https://$CI_PROJECT_NAMESPACE.pages.nic.cz/-/knot-resolver/-/jobs/$CI_JOB_ID/artifacts/doc/html/index.html
 +    url: https://www.knot-resolver.cz/documentation/artifacts/$CI_JOB_ID/index.html
 +
 +# This job deploys the current docs as <https://knot.pages.nic.cz/knot-resolver>
 +pages:
 +  stage: deploy
 +  needs:
 +    - docs:build
 +  script: mv doc/html public
 +  when: manual
 +  artifacts:
 +    paths:
 +      - public
  
+ # This job pushes the Knot Resolver documentation into a new branch of the
+ # `websites/knot-resolver.cz` repository.
+ docs:website:
+   stage: deploy
+   needs:
+     - docs:build
+   when: manual
+   variables:
+   script:
+     - "SRC_COMMIT_REF=\"$CI_COMMIT_TAG$CI_COMMIT_BRANCH$CI_MERGE_REQUEST_SOURCE_BRANCH_NAME\""
+     - "git clone \"https://gitlab-ci-token:$WEBSITE_DOCS_CI_TOKEN@$CI_SERVER_HOST:$CI_SERVER_PORT/websites/knot-resolver.cz.git\" website"
+     - "cp --recursive --verbose \"doc/html\" \"website/content/documentation/$SRC_COMMIT_REF\""
+     - cd website
+     - "git checkout -b \"docs/$SRC_COMMIT_REF\""
+     - "git add \"content/documentation/$SRC_COMMIT_REF\""
+     - "git commit -m \"docs: $SRC_COMMIT_REF\""
+     - "git push --force --set-upstream origin \"docs/$SRC_COMMIT_REF\""
+ 
  # }}}