X-Git-Url: https://git.madduck.net/code/myrepos.git/blobdiff_plain/0a28dbd7e5e52c3144af83bab43364149cfd0174..83155b297f58515578e0859a0d6bda762195d1fa:/mrconfig?ds=sidebyside

diff --git a/mrconfig b/mrconfig
index c366271..a1abcd1 100644
--- a/mrconfig
+++ b/mrconfig
@@ -10,10 +10,3 @@ 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"