Rename Branches Propagates to MR

If I push up a branch js-fixes-big-bgu and I spelled it wrong. If I want to save face, I have to close the MR and open an new one. At that point you'll know I made the mistake. But instead what I could do:

$ git branch -m <old_name> <new_name>
$ git branch :old_name
$ git push --set-upstream origin new_name

Should that push technically update the existing MR, right? I think so. I think this should update the existing MR.

It does not work however. The MR is still linked to that original old_name

cc @stanhu @DouweM