.mrconfig

   1 [DEFAULT]
   2 git_gc = git gc "$@"
   3 jobs = 5
   4
   5 include = cat ~/.config/mr/config.d/*
   6 include = test -d ~/.config/mr_private/config.d && cat ~/.config/mr_private/config.d/* || exit 0
   7
   8 [projects/debbugs/debbugs]
   9 checkout = git clone 'git+ssh://git.donarmstrong.com/srv/git/debbugs.git' 'debbugs'