Add revs update script

This commit is contained in:
David Tolnay 2021-10-09 05:17:19 +01:00
parent 7f2ec0f367
commit 23a8e99b6b
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82

21
scripts/update-revs.sh Executable file
View file

@ -0,0 +1,21 @@
#!/bin/bash
cd -- "$(dirname -- "${BASH_SOURCE[0]}")/.."
if ! git diff-index --quiet HEAD; then
echo "Not running update-revs.sh because git working directory is dirty" >&2
exit 1
fi
base=$(git rev-parse HEAD)
git checkout --quiet "$base"
for rev in 1.{0..60}.0 stable beta nightly; do
echo "Updating $rev branch"
git branch --quiet --delete --force $rev &>/dev/null || true
sed -i "s/required: true/required: false\n default: $rev/" action.yml
git add action.yml
git commit --quiet --message "toolchain: $rev"
git checkout --quiet -b $rev
git checkout --quiet "$base"
done