[git] How to squash commits in git after they have been pushed?