From: martin f. krafft <madduck@madduck.net>
Date: Wed, 14 May 2008 21:22:05 +0000 (+0200)
Subject: delete offlineimap-id repo
X-Git-Url: https://git.madduck.net/etc/myrepos.git/commitdiff_plain/8c3861bdc4bea906cef52713fadd9504e42d815e?hp=f57c05d7af65adc00bb5baba7d0eef34d6cddee2

delete offlineimap-id repo
---

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