From 96f67cbc7a3e7f880f9e3a67a6feede812d4b94e Mon Sep 17 00:00:00 2001 From: Charlie Drage Date: Tue, 18 Jul 2023 09:08:31 -0400 Subject: [PATCH] update release script again with a reminder for docs update #### What type of PR is this? update release script again with a reminder for docs update #### What this PR does / why we need it: #### Which issue(s) this PR fixes: Fixes # #### Special notes for your reviewer: Signed-off-by: Charlie Drage --- script/release.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/script/release.sh b/script/release.sh index 27f9dae60..2c846f756 100755 --- a/script/release.sh +++ b/script/release.sh @@ -223,6 +223,7 @@ main() { "Create tarballs" "Generate install guide" "Upload the binaries and push to GitHub release page" + "Update the website" "Clean" "Quit") select opt in "${options[@]}" @@ -253,6 +254,11 @@ main() { "Upload the binaries and push to GitHub release page") push $VERSION ;; + "Update the website") + echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" + echo "Run ./script/manual-docs-sync.sh on the main branch" + echo "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!" + ;; "Clean") clean $VERSION ;;