From 1418c08977517227426bbee6ab584e71674fabeb Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kodama.kitenet.net>
Date: Fri, 19 Oct 2007 20:53:53 -0400
Subject: [PATCH] git push example

---
 mrconfig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mrconfig b/mrconfig
index ca34568..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)
-- 
2.39.5