mirror of
https://github.com/dtolnay/rust-toolchain.git
synced 2024-11-22 00:39:31 +01:00
Push same commit as both minor and largest patch
This commit is contained in:
parent
026b841fe4
commit
5529c958d1
1 changed files with 9 additions and 1 deletions
|
@ -14,12 +14,17 @@ patch_releases=(
|
|||
)
|
||||
|
||||
releases() {
|
||||
printf "%s\n" 1.{0..70}{,.0} ${patch_releases[@]} | sort -V
|
||||
printf "%s\n" 1.{0..70}.0 ${patch_releases[@]} | sort -V
|
||||
}
|
||||
|
||||
base=$(git rev-parse HEAD)
|
||||
push=()
|
||||
|
||||
declare -A minor
|
||||
for rev in `releases`; do
|
||||
minor[${rev%.*}]=$rev
|
||||
done
|
||||
|
||||
for rev in `releases` stable beta nightly; do
|
||||
echo "Updating $rev branch"
|
||||
git checkout --quiet "$base"
|
||||
|
@ -29,6 +34,9 @@ for rev in `releases` stable beta nightly; do
|
|||
git commit --quiet --message "toolchain: $rev"
|
||||
git checkout --quiet -b $rev
|
||||
push+=("$rev:refs/heads/$rev")
|
||||
if [ ${minor[${rev%.*}]} == $rev ]; then
|
||||
push+=("$rev:refs/heads/${rev%.*}")
|
||||
fi
|
||||
done
|
||||
|
||||
for tool in clippy miri; do
|
||||
|
|
Loading…
Reference in a new issue