Adapt help page about merging from command line (git centric)
On merge requests you have a link to some help to do the merge request from the command line
You can merge this merge request manually using the command line
This help page shows git commands, and it's URL is /merge_requests/ID#modal_merge_info