GEODE-7777: add 1.13 management rest wiki page (#4681)

apache · Feb 7, 2020 · 72e8346 · 72e8346
1 parent a2ac820
commit 72e8346
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/geode-management/src/test/script/update-management-wiki.sh b/geode-management/src/test/script/update-management-wiki.sh
@@ -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