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.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 594da0ef4f5557d1b1baac10a00574570a3ab3b9..ac19283be0d61b90384e89ddee02a583774a4e06 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1966,6 +1966,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: