forced-push does not update merge-request
When force-pushing a branch to a git-repo, the merge-request is not updated.
I pushed to branch WD
a few minute ago, but the related merge-request is not updated.
I used ssh to push.
Possible related to #419