- Create new branch:
git checkout -b otherrepo-master master- Get the contents of the PR
git pull https://github.com/otherrepo/my-repo-name.git master- Change back to master
git checkout master- Now DO NOT merge the whole branch, BUT cherry-pick exactly the commits from the other branch. The hash uniquely defines the commit - regardless of the branch it is in.
git cherry-pick abc0123- Check, remove the temp branch, push
git log
git branch -D otherrepo-master
git push origin master