Skip to content

Commit

Permalink
GEODE-7777: add 1.13 management rest wiki page (apache#4681)
Browse files Browse the repository at this point in the history
  • Loading branch information
onichols-pivotal authored and mhansonp committed Mar 12, 2020
1 parent 608efe7 commit 5b13ff5
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion geode-management/src/test/script/update-management-wiki.sh
Expand Up @@ -75,9 +75,10 @@ GEODE_VERSION=$($GEODE/bin/gfsh version | sed 's/-SNAPSHOT//')
[[ "${GEODE_VERSION%.*}" == "1.10" ]] && PAGE_ID=115511910
[[ "${GEODE_VERSION%.*}" == "1.11" ]] && PAGE_ID=135861023
[[ "${GEODE_VERSION%.*}" == "1.12" ]] && PAGE_ID=132322415
[[ "${GEODE_VERSION%.*}" == "1.13" ]] && PAGE_ID=147426059

if [[ -z "${PAGE_ID}" ]] ; then
echo "Please create a new wiki page for $GEODE_VERSION and add its page ID to $0 near line 78"
echo "Please create a new wiki page for $GEODE_VERSION and add its page ID to $0 near line 79"
exit 1
fi

Expand Down

0 comments on commit 5b13ff5

Please sign in to comment.