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.