Merge requests not automatically closed on cherry-pick

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

A merge request is supposed to be automatically closed when the commit(s) to be merged are pushed to the target branch (whether directly or in a merge). If the commits to be merged are instead cherry-picked in (on top of another commit so that their SHA changes), they get a different SHA, and so the merge requests are not automatically closed.

Proposal

• if cherry picked through the GitLab UI, close the merge request as merged
• if cherry picked through the command line ... TBD

Links / references