Closed roborourke closed 1 year ago
The backport to master
failed:
Commits ["0535e6916e65bd63a000e65c714b5624182c4a88"] could not be cherry-picked on top of master
To backport manually, run these commands in your terminal:
# Fetch latest updates from GitHub.
git fetch
# Create new working tree.
git worktree add .worktrees/backport master
# Navigate to the new directory.
cd .worktrees/backport
# Cherry-pick all the commits of this pull request and resolve the likely conflicts.
git cherry-pick 0535e6916e65bd63a000e65c714b5624182c4a88
# Create a new branch with these backported commits.
git checkout -b backport-438-to-master
# Push it to GitHub.
git push --set-upstream origin backport-438-to-master
# Go back to the original working tree.
cd ../..
# Delete the working tree.
git worktree remove .worktrees/backport
Then, create a pull request where the base
branch is master
and the compare
/head
branch is backport-438-to-master
.
Correcting the terminology to match industry standard language.