Thanks. I haven’t used gitlab. I assumed it worked the same as GitHub. That’s good to know.
Yup, GitLab works as expected here. It's always surprised me how quickly the old commit is garbage-collrcted when you force-push a branch on GitHub. It causes weird errors in CI runs and breaks viewing the old commits.
Seriously I'll pay for those couple of KiB of space, just keep it around. (at least until the PR is closed)
That's not quite true. Gitlab lets you compare any two "versions" of the force pushed branch.