actions/rust-toolchain
0
0
Fork 0
mirror of https://github.com/dtolnay/rust-toolchain.git synced 2024-12-22 15:45:50 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #10 from dtolnay/push

Browse source 
Print git push command at end of update-revs.sh
This commit is contained in:
David Tolnay 2022-06-04 16:52:24 -07:00 committed by GitHub
commit ac5882a3ab
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
scripts/update-revs.sh
View file

@ -8,6 +8,7 @@ if ! git diff-index --quiet HEAD; then
fi fi
base=$(git rev-parse HEAD) base=$(git rev-parse HEAD)
push=()
for rev in 1.{0..70}.0 stable beta nightly; do for rev in 1.{0..70}.0 stable beta nightly; do
echo "Updating $rev branch" echo "Updating $rev branch"
@ -17,6 +18,7 @@ for rev in 1.{0..70}.0 stable beta nightly; do
git add action.yml git add action.yml
git commit --quiet --message "toolchain: $rev" git commit --quiet --message "toolchain: $rev"
git checkout --quiet -b $rev git checkout --quiet -b $rev
push+=("$rev:refs/heads/$rev")
done done
for tool in clippy miri; do for tool in clippy miri; do
@ -27,6 +29,9 @@ for tool in clippy miri; do
git add action.yml git add action.yml
git commit --quiet --message "components: $tool" git commit --quiet --message "components: $tool"
git checkout --quiet -b $tool git checkout --quiet -b $tool
push+=("$tool:refs/heads/$tool")
done done
git checkout --quiet "$base" git checkout --quiet "$base"
echo "git push origin --force-with-lease ${push[@]}"