Update remote branch after rewriting history

Forces an update of the remote branch adter rewriting the history locally.

• Use git push -f to force update the remote branch, overwriting it using the local branch's changes.
• This operation is necessary anytime your local and remote repository diverge.

git push -f

git checkout patch-1
git pull
git rebase master
# Local `patch-1` branch has been rebased onto `master`, thus diverging
# from the remote `patch-1` branch

git push -f # Force update the remote `patch-1` branch