From e337060838da0c68a5161eb1643d5c0503530769 Mon Sep 17 00:00:00 2001 From: Ralf Handl Date: Mon, 6 Oct 2025 11:39:01 +0200 Subject: [PATCH] Replace release date placeholder with current date --- scripts/adjust-release-branch.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/adjust-release-branch.sh b/scripts/adjust-release-branch.sh index 15a5de8a82..e3af6c9830 100755 --- a/scripts/adjust-release-branch.sh +++ b/scripts/adjust-release-branch.sh @@ -5,6 +5,7 @@ # Run this script from the root of the repo. It is designed to be run manually in a release branch. branch=$(git branch --show-current) +today=$(date +%Y-%m-%d) if [[ ! $branch =~ ^v[0-9]+\.[0-9]+\.[0-9]+-rel$ ]]; then echo "This script is intended to be run from a release branch, e.g. v3.1.2-rel" @@ -16,7 +17,8 @@ version=${vVersion:1} echo Prepare release of $version cp EDITORS.md versions/$version-editors.md -mv src/oas.md versions/$version.md +sed "s/| TBD |/| $today |/g" src/oas.md > versions/$version.md +diff -w src/oas.md versions/$version.md rm -r src rm -r tests/schema/pass tests/schema/fail rm tests/schema/schema.test.mjs