Merge request not updated after force-push to branch

This may have been a one-time event, but as it was unexpected and affected the development workflow, I think I should report it.

After initially opening merge request debian/distro-info!8 (closed) in distro-info, I later force-pushed to my origin branch, in a personal fork of that repo, to resolve a lint error reported by Salsa CI.

Strangely, although the commit was accepted and visible in my fork, the merge request was not updated as I expected it to be, and instead continued to display the old commit from the initial push. It still displays the stale commit as I write this - the single commit 2807fa377f4192c2bc5d3e384e3e7ec4a9c018ea appears in the MR, while the updated single commit on the branch is 24c9745003936b48af856aecc075e0b366e44c87 instead.

The problem seems potentially similar to GitLab FOSS's upstream bugreport at https://gitlab.com/gitlab-org/gitlab-foss/-/issues/31484