]> git.donarmstrong.com Git - home-base.git/commitdiff
remove mrconfig master
authorDon Armstrong <don@donarmstrong.com>
Sat, 2 Nov 2024 05:03:51 +0000 (22:03 -0700)
committerDon Armstrong <don@donarmstrong.com>
Sat, 2 Nov 2024 05:03:51 +0000 (22:03 -0700)
.mrconfig [deleted file]

diff --git a/.mrconfig b/.mrconfig
deleted file mode 100644 (file)
index f8168f2..0000000
--- a/.mrconfig
+++ /dev/null
@@ -1,6 +0,0 @@
-[DEFAULT]
-git_gc = git gc "$@"
-jobs = 5
-
-include = cat ~/.config/mr/config.d/*
-include = test -d ~/.config/mr_private/config.d && cat ~/.config/mr_private/config.d/* || exit 0