From 0a28dbd7e5e52c3144af83bab43364149cfd0174 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Sun, 25 Sep 2011 18:43:05 -0400
Subject: [PATCH] add back a long-lost example

---
 mrconfig | 7 +++++++
 1 file changed, 7 insertions(+)

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"
-- 
2.39.2