Some reopened merge request don't receive updates
Created by: jacob-carlborg
We're having some problems with merge requests that don't get any new updates when pushed. The commits are properly pushed and we can inspect them via Gitlab. But the merge request is not updated. So far it's happened twice and only for merge requests that were accidentally closed and then reopened.