[devoutsalsa]

If I have to commit several trash commits, I’m happy to squash locally and then do

    git push —force-with-lease origin main

[andix]

Not cool if you work in a bigger team. Especially if there are some people that are not super experienced with git, and have no idea how to fix that locally.

But if you're working alone or in a smaller team, that's perfectly fine.