git-mr: add page (#7585)

2022-01-02 20:13:01 +00:00 · 2022-01-02 20:13:01 +00:00 · 80e8b7b5f4
parent 128603e43a
commit 80e8b7b5f4
1 changed files with 21 additions and 0 deletions
--- a/pages/common/git-mr.md
+++ b/pages/common/git-mr.md
@ -0,0 +1,21 @@
+# git mr
+
+> Check out GitLab merge requests locally.
+> Part of `git-extras`.
+> More information: <https://github.com/tj/git-extras/blob/master/Commands.md#git-mr>.
+
+- Check out a specific merge request:
+
+`git mr {{mr_number}}`
+
+- Check out a merge request from a specific remote:
+
+`git mr {{mr_number}} {{remote}}`
+
+- Checkout a merge request from its URL:
+
+`git mr {{url}}`
+
+- Clean up old merge request branches:
+
+`git mr clean`