add jenkins documentation tasks for release issue

2026-09-24 16:30:27 +08:00 · 2017-01-31 13:17:40 -05:00
parent bb318d36e6
commit ddcbd8ba02
1 changed files with 3 additions and 0 deletions
@@ -206,6 +206,9 @@ RELEASE_ISSUE_TEMPLATE = string.Template("""

            make release-create RELEASE_CURR=${version}

+      - [ ] Switch Jenkins documentation build [branch specifier](https://jenkins.galaxyproject.org/job/Sphinx-Docs/configure) to `*/release_{version}`.
+      - [ ] Trigger the documentation build.
+
 - [ ] **Do Docker Release**

      - [ ] Change the [dev branch](https://github.com/bgruening/docker-galaxy-stable/tree/dev) of the Galaxy Docker container to ${next_version}