-
Notifications
You must be signed in to change notification settings - Fork 741
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[stable2407] Backport #6459 #6663
Conversation
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-6459-to-stable2407
git worktree add --checkout .worktree/backport-6459-to-stable2407 backport-6459-to-stable2407
cd .worktree/backport-6459-to-stable2407
git reset --hard HEAD^
git cherry-pick -x 139691b17c66aa074d2b4ae935158d4296068f72
git push --force-with-lease |
This pull request is amending an existing release. Please proceed with extreme caution,
Emergency Bypass
If you really need to bypass this check: add |
e9475f2
to
9597cb1
Compare
@franciscoaguirre clippy needs some love here |
The CI pipeline was cancelled due to failure one of the required jobs. |
Backport #6459 into
stable2407
from franciscoaguirre.See the documentation on how to use this bot.