From 3a5dc1b6f340cd059655e6ed2392038f506464a5 Mon Sep 17 00:00:00 2001 From: "martin f. krafft" Date: Sat, 17 May 2008 13:26:00 +0100 Subject: [PATCH 1/1] make sure we can delete repo --- .mr/roles/offlineimap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5