debbugs does nott belong in .mrconfig

diff --git a/.mrconfig b/.mrconfig
index 0b72ba239ee17af39d8f6fa6a6070dd6bf746352..f8168f2dfc4c790e29175daecc83239f7899ce11 100644 (file)
--- a/.mrconfig
+++ b/.mrconfig
@@ -4,6 +4,3 @@ jobs = 5
 
 include = cat ~/.config/mr/config.d/*
 include = test -d ~/.config/mr_private/config.d && cat ~/.config/mr_private/config.d/* || exit 0
-
-[projects/debbugs/debbugs]
-checkout = git clone 'git+ssh://git.donarmstrong.com/srv/git/debbugs.git' 'debbugs'