From: martin f. krafft 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?hp=7725d134e5ae8211a2acbf5f344b45c25f1797ea 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