"Squash Git commits" addon squashes already pushed commits, gets rejected for non-fast-forward #6423