Merge branch 'master' into new_rs_format

RasaHQ · Sep 11, 2020 · a648d81 · a648d81
2 parents 2cc1b9d + 2fc72d4
commit a648d81
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/push_docs_to_branch.sh b/scripts/push_docs_to_branch.sh
@@ -22,10 +22,10 @@ NEW_VERSION=
 EXISTING_VERSION=
 if [[ "$GITHUB_REF" =~ $PATTERN_FOR_NEW_VERSION ]]
 then
-    NEW_VERSION=${GITHUB_REF/refs\/tags\//}
+    NEW_VERSION=$(echo $GITHUB_REF | sed -E "s/^refs\/tags\/([0-9]+)\.([0-9]+)\.0$/\1.\2.x/")
 elif [[ "$GITHUB_REF" =~ $PATTERN_FOR_PATCH_VERSION ]]
 then
-    EXISTING_VERSION=$(echo $GITHUB_REF | sed -E "s/^refs\/tags\/([0-9]+)\.([0-9]+)\.[0-9]+$/\1.\2.0/")
+    EXISTING_VERSION=$(echo $GITHUB_REF | sed -E "s/^refs\/tags\/([0-9]+)\.([0-9]+)\.[0-9]+$/\1.\2.x/")
 fi
 
 # clone the $DOCS_BRANCH in a temp directory