git how to mark remote as pushed but not push code example Example: git push origin master --force git push origin --force