-
Notifications
You must be signed in to change notification settings - Fork 864
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 #7843 #7966
Conversation
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-7843-to-stable2407
git worktree add --checkout .worktree/backport-7843-to-stable2407 backport-7843-to-stable2407
cd .worktree/backport-7843-to-stable2407
git reset --hard HEAD^
git cherry-pick -x 21927dd4a5384c7cbb09c8ad0ceac483be787dd1
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 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The diff is too big compared with #7843 . Probably some files that didn't exist on this branch have been copied from master . Please check
The file |
Yes, please delete it |
Deleted |
The CI pipeline was cancelled due to failure one of the required jobs. |
Backport #7843 into
stable2407
from raymondkfcheung.See the documentation on how to use this bot.