Merge requests not updated after a force push on branch

Upgraded to 8.3.2. User reports that when they do a force push on a branch, active/in-progress merge requests on the web UI are not updated and that they still show old info with no additional commits listed.

Doing a 'git log -b branch' on the server shows the new commit hash.

They indicate that in 8.0 it updated the merge request without issue.