Situation:
1234
abcd
and sends a PRgit cherry-pick
the commit, but the new commit is now wxyz
as git adds Committer
and CommitDate
fields and probably some other metadataMy current workaround is to manually git fetch
their repo and then git reset --hard
onto commit abcd
. Afterward I can push my branch to my repo.
It would be especially nice, if I could update the branch from a GitHub PR without resorting to manually fetching and pushing just to add a single commit from a GitHub PR to my repo.
You can add their repo as an origin, fetch all commits, and use git merge --ff-only abcd
.