Hard Reset

After a rebase on a remote branch (force update) from someone else, the local branch is desynchronized: a resynchronization must be done.

$ git fetch
# git reset --hard <repo name>/<branch name>
$ git reset --hard origin/branch_name