From 8c3861bdc4bea906cef52713fadd9504e42d815e Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Wed, 14 May 2008 23:22:05 +0200
Subject: [PATCH] delete offlineimap-id repo

---
 .mr/roles/offlineimap | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.mr/roles/offlineimap b/.mr/roles/offlineimap
index f178162..8152a02 100644
--- a/.mr/roles/offlineimap
+++ b/.mr/roles/offlineimap
@@ -1,2 +1,8 @@
 [.fgits/offlineimap.git]
 checkout = git_fake_bare_checkout 'ssh://git.madduck.net/~/git/pub/etc/offlineimap.git' 'offlineimap.git' '../../'
+
+[.fgits/offlineimap-id.git]
+checkout = echo not checking out deleted repo.
+update = rm -r $MR_REPO
+status = echo deleted.
+skip = test -d $MR_REPO/offlineimap-id.git
-- 
2.39.5