I just squashed some commits with git rebase and did a git push --force (which is evil, I know).
Now the other software engineers have a different history and when they do a git pull, Git will merge. Is there a way to fix this, except doing a rm my-repo; git clone git@example.org:my-repo.git?
I need something like the opposite of git push --force, but git pull --force did not give the intended results.