From 510995097e775c58bd6d08939e19c3f9c51b3210 Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Thu, 30 Jan 2014 13:58:35 -0800
Subject: [PATCH 1/1] debbugs does nott belong in .mrconfig

---
 .mrconfig | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.mrconfig b/.mrconfig
index 0b72ba2..f8168f2 100644
--- 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'
-- 
2.39.2