4 ms·`git push --force --harder --try-really-hard` works for me.by ozh 13y ago`git push --force --harder --try-really-hard` works for me.