Merged merge request remained open even after merge
This was noticed with https://gitlab.com/gitlab-org/gitlab-ce/merge_requests/19048
The merge request was merged successfully as seen by the merge commit in master. However, the merge request stayed open & the status wasn't correctly updated to merged
. It also took a few hours before the merge request widget got out of the weird merging state.
Just to note, I manually closed the merge request so it didn't stick around in a weird state.
/cc @oswaldo