From: martin f. krafft <madduck@madduck.net>
Date: Sat, 17 May 2008 12:26:00 +0000 (+0100)
Subject: make sure we can delete repo
X-Git-Url: https://git.madduck.net/etc/myrepos.git/commitdiff_plain/3a5dc1b6f340cd059655e6ed2392038f506464a5

make sure we can delete repo
---

diff --git a/.mr/roles/offlineimap b/.mr/roles/offlineimap
index 8152a02..64eae09 100644
--- a/.mr/roles/offlineimap
+++ b/.mr/roles/offlineimap
@@ -3,6 +3,6 @@ checkout = git_fake_bare_checkout 'ssh://git.madduck.net/~/git/pub/etc/offlineim
 
 [.fgits/offlineimap-id.git]
 checkout = echo not checking out deleted repo.
-update = rm -r $MR_REPO
+update = chmod -R u+w $MR_REPO && rm -r $MR_REPO
 status = echo deleted.
 skip = test -d $MR_REPO/offlineimap-id.git