mirror of
https://github.com/dtolnay/rust-toolchain.git
synced 2024-11-22 16:49:31 +01:00
37 lines
1.1 KiB
Bash
Executable file
37 lines
1.1 KiB
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)
|
|
push=()
|
|
|
|
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
|
|
push+=("$rev:refs/heads/$rev")
|
|
done
|
|
|
|
for tool in clippy miri; do
|
|
echo "Updating $tool branch"
|
|
git checkout --quiet --detach nightly
|
|
git branch --quiet --delete --force $tool &>/dev/null || true
|
|
sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml
|
|
git add action.yml
|
|
git commit --quiet --message "components: $tool"
|
|
git checkout --quiet -b $tool
|
|
push+=("$tool:refs/heads/$tool")
|
|
done
|
|
|
|
git checkout --quiet "$base"
|
|
|
|
echo "git push origin --force-with-lease ${push[@]}"
|