It depends on the circumstances. If he is developing a branch alone and needs to correct his PR and push again for review, what would you do?
If you want to remove the history you don't have much of a choice, it was a joke.
I would use git merge squash and instead of --force flag I would use --force-with-lease to avoid possible data loss.
git merge squash
--force-with-lease
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
It depends on the circumstances. If he is developing a branch alone and needs to correct his PR and push again for review, what would you do?
If you want to remove the history you don't have much of a choice, it was a joke.
I would use
git merge squash
and instead of --force flag I would use--force-with-lease
to avoid possible data loss.