Fix Read the Docs stable branch update bug

Read the Docs fails to pick the latest version of the stable tag when
updated, i.e. a build is triggered but it takes the previous version.
This commit triggers a second build after 5 minutes to ensure that the
correct tag version is used for the documentation.

This is a known bug in RtD:
https://github.com/readthedocs/readthedocs.org/issues/10838.

(cherry picked from commit 168b15cfd9c8d9a8562e596f78bb971e84c686f4)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5d176744d20902cb310b7f9c8388acf9b3dd12b9..33f877a56c3a041b7613c51b8aeefb321b610781 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2058,6 +2058,9 @@ update-stable-tag:
     GIT_DEPTH: 1
   script:
     - bind9-qa/releng/update_stable_tag.py --tag "$CI_COMMIT_TAG"
+    # Work around https://github.com/readthedocs/readthedocs.org/issues/10838
+    - sleep 300
+    - bind9-qa/releng/update_stable_tag.py --tag "$CI_COMMIT_TAG"
   rules:
     - *rule_tag_open_source
   artifacts: