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 origin/branch_name