add back a long-lost example

[code/myrepos.git] / mrconfig

diff --git a/mrconfig b/mrconfig
index a209a2b17f8b22fc96e2fa50a6f46990dee7409d..c36627133d3309c7cd71bfefc52ea9ef640fd270 100644 (file)
--- a/mrconfig
+++ b/mrconfig
@@ -2,12 +2,18 @@
 
 [mr]
 checkout = git clone git://git.kitenet.net/mr
-skip = ! wantsrc
 
 [linux-2.6]
 checkout = git clone git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux-2.6.git
 # only update once every 12 hours
-skip = ([ "$1" = update ] && [ $(hours_since "$1") -lt 12 ])
+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"