-
Notifications
You must be signed in to change notification settings - Fork 556
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
ci: adjust after repository rename #18507
Conversation
Operate Test Results816 tests 801 ✅ 10m 59s ⏱️ Results for commit 4202617. |
Tasklist Test Results548 tests 543 ✅ 1h 32m 52s ⏱️ Results for commit 4202617. ♻️ This comment has been updated with latest results. |
/backport |
Created backport PR for
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-18507-to-stable/8.2
git worktree add --checkout .worktree/backport-18507-to-stable/8.2 backport-18507-to-stable/8.2
cd .worktree/backport-18507-to-stable/8.2
git reset --hard HEAD^
git cherry-pick -x 4202617c190436fd11dbfac4bbe51ccd65db563b
git push --force-with-lease |
Created backport PR for
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-18507-to-stable/8.3
git worktree add --checkout .worktree/backport-18507-to-stable/8.3 backport-18507-to-stable/8.3
cd .worktree/backport-18507-to-stable/8.3
git reset --hard HEAD^
git cherry-pick -x 4202617c190436fd11dbfac4bbe51ccd65db563b
git push --force-with-lease |
Created backport PR for
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-18507-to-stable/8.4
git worktree add --checkout .worktree/backport-18507-to-stable/8.4 backport-18507-to-stable/8.4
cd .worktree/backport-18507-to-stable/8.4
git reset --hard HEAD^
git cherry-pick -x 4202617c190436fd11dbfac4bbe51ccd65db563b
git push --force-with-lease |
Created backport PR for
Please cherry-pick the changes locally and resolve any conflicts. git fetch origin backport-18507-to-stable/8.5
git worktree add --checkout .worktree/backport-18507-to-stable/8.5 backport-18507-to-stable/8.5
cd .worktree/backport-18507-to-stable/8.5
git reset --hard HEAD^
git cherry-pick -x 4202617c190436fd11dbfac4bbe51ccd65db563b
git push --force-with-lease |
Description
To be merged after the repository got renamed via GitHub.
Related issues
Related to #18206