X-Git-Url: https://git.madduck.net/code/myrepos.git/blobdiff_plain/8a871c8ffe86c8c415e360f28e1a38be610438ec..97a2a3f361b0d3ab9767be3ac008da368185be0b:/mrconfig

diff --git a/mrconfig b/mrconfig
index 59ab018..8e18756 100644
--- a/mrconfig
+++ b/mrconfig
@@ -3,8 +3,9 @@
 [DEFAULT]
 # Teach mr how to run svn cleanup.
 cleanup = if [ -d "$MR_REPO"/.svn ]; then svn cleanup ; fi
-# And how to run git gc
+# And how to run git gc and push.
 gc = if [ -d "$MR_REPO"/.git ]; then git gc; fi
+push = if [ -d "$MR_REPO"/.git ]; then git push; fi
 # Tests used in the skips below.
 # - wantsrc checks whether I probably want a full source checkout (quite
 #   large)
@@ -86,3 +87,10 @@ update = svn update && svnfix
 [mail]
 checkout = git clone ssh://git.kitenet.net/srv/git/kitenet.net/joey/private/mail
 skip = ! private
+
+# 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"