So we've got 2 primary branches: main (prod) and develop. We use GitHub. The develop branch is protected: You need a PR to change develop. So on production release: develop merges to main. The code is now identical, but those two branches are not the same commit. (main has an "extra" merge commit.) I can't push to get them on the same commit:
git:(develop) ✗ git merge origin/main --ff-only
Updating bf8228b..f9c3e42
Fast-forward