Hello. When we discuss code in pull requests, we change it in commits and then do force pushes. Gitea shows this on the PR page as username force-pushed fix_build from c9a23423 to 96b92f23ab. And there’s a Compare button.
The question is how to make sure the newly-orphaned commits are not garbage collected? I’d like to preserve this history.
One way I see is tagging the old commits. This can be automated via a git alias.
Any other or better way?