From 8c3861bdc4bea906cef52713fadd9504e42d815e Mon Sep 17 00:00:00 2001 From: "martin f. krafft" 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