If git-sync is run when the user has a PR branch out, with local changes to files, and the PR has merged, the resulting fast-forward (#8) overwrites the local changes.
If the branch is no longer on the commit merged to HEAD, git-sync will still "fast-forward" the branch.
If
git-syncis run when the user has a PR branch out, with local changes to files, and the PR has merged, the resulting fast-forward (#8) overwrites the local changes.If the branch is no longer on the commit merged to HEAD,
git-syncwill still "fast-forward" the branch.