Adding note about git push -f