From 1e84c183b361163233ae97796ddf3571fa0b057e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9?= Date: Mon, 1 Jul 2024 14:49:39 +0200 Subject: [PATCH] do not create a new version in docs --- .github/scripts/sync_docs.sh | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/.github/scripts/sync_docs.sh b/.github/scripts/sync_docs.sh index 48980396..fcdab86c 100755 --- a/.github/scripts/sync_docs.sh +++ b/.github/scripts/sync_docs.sh @@ -36,16 +36,16 @@ elif [ "$EVENT" == "release" ]; then npm ci # Check if contrib_versions.json exists and modify it if required - if [[ -f $VERSION_FILE ]]; then - jq --arg new_version "$new_version" 'del(.[] | select(. == $new_version))' $VERSION_FILE > temp.json && mv temp.json $VERSION_FILE - fi - - # Run docusaurus versioning command - $DOCUSAURUS_COMMAND "${new_version}" - - if [[ -f $VERSION_FILE ]]; then - jq 'sort | reverse' ${VERSION_FILE} > temp.json && mv temp.json ${VERSION_FILE} - fi +# if [[ -f $VERSION_FILE ]]; then +# jq --arg new_version "$new_version" 'del(.[] | select(. == $new_version))' $VERSION_FILE > temp.json && mv temp.json $VERSION_FILE +# fi +# +# # Run docusaurus versioning command +# $DOCUSAURUS_COMMAND "${new_version}" +# +# if [[ -f $VERSION_FILE ]]; then +# jq 'sort | reverse' ${VERSION_FILE} > temp.json && mv temp.json ${VERSION_FILE} +# fi fi # Push changes