Question: Can it be using for pushing?

Checking out is very convenient but being able to push would be even better

git suggested

git push origin HEAD:refs/merge-requests/418/head

but that did not update the actual branch that request 418 was from (it did succeed so i wonder what it really did)