.gitconfig: Add alias `mr`

`Gitlab` calls "pull requests" "merge requests"
and have different URLs for them.

diff --git a/.gitconfig b/.gitconfig
index b91ec8dc967666d20dc7d07680cec2248486e713..7b4c249bf575f8ee31f5b3a0bb19cdf9e4b5b579 100644 (file)
--- a/.gitconfig
+++ b/.gitconfig
@@ -178,6 +178,8 @@
        sw = show --word-diff --decorate
        unstage = reset HEAD --
 
+       # Github: pull request, Gitlab: merge request
+       mr = "!f() { git fetch ${2:-origin} refs/merge-requests/$1/head:pr/$1 && git checkout pr/$1; }; f"
        pr = "!f() { git fetch ${2:-origin} refs/pull/$1/head:pr/$1 && git checkout pr/$1; }; f"
        clean-pr = "!git checkout master ; git for-each-ref refs/heads/pr/* --format=\"%(refname)\" | while read ref ; do branch=${ref#refs/heads/} ; git branch -D $branch ; done"