From f496806f8f5475b9626c3f39e3100ba6c1ca3b64 Mon Sep 17 00:00:00 2001 From: Doug Hoard Date: Mon, 2 Dec 2024 11:26:24 -0500 Subject: [PATCH] Delete scripts directory Signed-off-by: Doug Hoard --- scripts/set-release-version-github-pages.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 scripts/set-release-version-github-pages.sh diff --git a/scripts/set-release-version-github-pages.sh b/scripts/set-release-version-github-pages.sh deleted file mode 100755 index 310c6f1b..00000000 --- a/scripts/set-release-version-github-pages.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/usr/bin/env bash - -set -euox pipefail - -version=$(git tag -l | grep 'v' | sort | tail -1 | sed 's/v//') -marker="\$version" -sed -i "s/$marker/$version/g" docs/content/getting-started/quickstart.md