https://stackoverflow.com/questions/5667884/how-to-squash-commits-in-git-after-they-have-been-pushed
Squash commits locally with
git rebase -i origin/master~4 master
and then force push with
git push origin +master
git reset --hard {SHA}
git push -f