From 933cf18b38361572a02b56dab45f96854925d062 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Thu, 16 Jun 2022 20:07:29 -0700 Subject: [PATCH] Add git refs for patch releases --- scripts/update-revs.sh | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh index 3fd1707..79b5b56 100755 --- a/scripts/update-revs.sh +++ b/scripts/update-revs.sh @@ -7,10 +7,19 @@ if ! git diff-index --quiet HEAD; then exit 1 fi +patch_releases=( + 1.12.1 1.15.1 1.22.1 1.24.1 1.26.1 1.26.2 1.27.1 1.27.2 1.29.1 1.29.2 1.30.1 + 1.31.1 1.34.1 1.34.2 1.41.1 1.43.1 1.44.1 1.45.1 1.45.2 1.52.1 1.56.1 1.58.1 +) + +releases() { + printf "%s\n" 1.{0..70}.0 ${patch_release[@]} | sort -V +} + base=$(git rev-parse HEAD) push=() -for rev in 1.{0..70}.0 stable beta nightly; do +for rev in `releases` stable beta nightly; do echo "Updating $rev branch" git checkout --quiet "$base" git branch --quiet --delete --force $rev &>/dev/null || true