rust-toolchain/scripts/update-revs.sh
2022-04-24 18:50:39 -07:00

22 lines
618 B
Bash
Executable file

#!/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)
for rev in 1.{0..70}.0 stable beta nightly; do
echo "Updating $rev branch"
git checkout --quiet "$base"
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
done
git checkout --quiet "$base"