Code Review
/
releng
/
builder.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
history
|
raw
|
HEAD
Merge "adding change discovery tool to run and display merged patches from the runnin...
[releng/builder.git]
/
jjb
/
docs
/
docs-post-rtd.sh
1
#!/bin/bash
2
if [ $GERRIT_BRANCH == "master" ]; then
3
RTD_BUILD_VERSION=latest
4
else
5
RTD_BUILD_VERSION=${{GERRIT_BRANCH/\//-}}
6
fi
7
curl -X POST --data "version_slug=$RTD_BUILD_VERSION" https://readthedocs.org/build/{rtdproject}