0b72ba239ee17af39d8f6fa6a6070dd6bf746352
[home-base.git] / .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'