Add bit about git push -f