Merge Request (MR)

wikipedia:Merge Request

git push -o merge_request.create
https://docs.gitlab.com/ce/user/project/push_options.html

GitLab

• 12.5 Delete source branch once merged
• 12.4 October 2019
  • Merge Request Dependencies

Related terms

• git merge
• git request-pull
• Pull Request (PR)
• GitLab merge queue

See also

• Merge Request (MR), GitLab merge queue: git merge, git merge main, git merge origin/main, git merge main --allow-unrelated-histories

https://about.gitlab.com/releases/2019/11/22/gitlab-12-5-released/#delete-source-branch-once-merged