summaryrefslogtreecommitdiffstats
path: root/jjb/doc/doc-post-rtd.sh
diff options
context:
space:
mode:
Diffstat (limited to 'jjb/doc/doc-post-rtd.sh')
-rw-r--r--jjb/doc/doc-post-rtd.sh12
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}