]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #88699 - Mark-Simulacrum:fixes-cherry-picker, r=pietroalbini
authorManish Goregaokar <manishsmail@gmail.com>
Sun, 12 Sep 2021 10:44:55 +0000 (03:44 -0700)
committerGitHub <noreply@github.com>
Sun, 12 Sep 2021 10:44:55 +0000 (03:44 -0700)
commita8e3afe3720cc4772aa49e1f7f494c60b81f07a1
tree704b25c693bbe7cdde35906fc1c3558a539f595a
parentbb5ca58d290791c01d7bb40fd59f5a3275603310
parent76e09eb87a0ae8dbbd54d14ba4d5186ffbd1513a
Rollup merge of #88699 - Mark-Simulacrum:fixes-cherry-picker, r=pietroalbini

Remove extra unshallow from cherry-pick checker

This is already done by https://github.com/rust-lang/rust/blob/13db8440bbbe42870bc828d4ec3e965b38670277/src/ci/init_repo.sh#L32-L36 on the beta channel, and git throws an error if you attempt to unshallow an already non-shallow repository.

r? ```@pietroalbini```