rust-toolchain/scripts/update-revs.sh

22 lines
617 B
Bash
Raw Normal View History

2021-10-09 07:17:19 +03:00
#!/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"
2022-03-20 04:09:40 +02:00
for rev in 1.{0..70}.0 stable beta nightly; do
2021-10-09 07:17:19 +03:00
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