diff options
Diffstat (limited to 'jjb/doc/doc-post-rtd.sh')
-rw-r--r-- | jjb/doc/doc-post-rtd.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/jjb/doc/doc-post-rtd.sh b/jjb/doc/doc-post-rtd.sh deleted file mode 100644 index 78b8d0b56..000000000 --- a/jjb/doc/doc-post-rtd.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash -if [ "$GERRIT_BRANCH" == "master" ]; then - RTD_BUILD_VERSION=latest -else - RTD_BUILD_VERSION="${{GERRIT_BRANCH/\//-}}" -fi - -# shellcheck disable=SC1083 -curl -X POST \ - -d "branches=$RTD_BUILD_VERSION" \ - -d "token=$DOCS_RTD_TOKEN" \ - https://readthedocs.org/api/v2/webhook/{rtdproject} |