yeah, I used git push --force, which should be same as git push -f