From: Joey Hess Date: Sun, 25 Sep 2011 22:43:05 +0000 (-0400) Subject: add back a long-lost example X-Git-Url: https://git.madduck.net/code/myrepos.git/commitdiff_plain/0a28dbd7e5e52c3144af83bab43364149cfd0174 add back a long-lost example --- diff --git a/mrconfig b/mrconfig index a1abcd1..c366271 100644 --- a/mrconfig +++ b/mrconfig @@ -10,3 +10,10 @@ skip = ([ "$1" = update ] && ! hours_since "$1" 12) [debian-cd] checkout = svn co svn://svn.debian.org/debian-cd/trunk debian-cd + +# Example of how to remember to delete a repo, when one mrconfig file is +# used on multiple systems. If you're feeling brave, use rm -rf $MR_REPO +# instead. This approach can also be used for renames. +[foo] +update = error "$MR_REPO is no longer used and should be deleted" +skip = ! test -d "$MR_REPO"