From 8200c01ad21ff0fbe3e9fcff6f25b645a2b813be Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kodama.kitenet.net>
Date: Thu, 11 Oct 2007 01:04:31 -0400
Subject: [PATCH] git push on commit, as per the documentation

---
 mr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mr b/mr
index 2a43906..2932ea3 100755
--- a/mr
+++ b/mr
@@ -351,6 +351,7 @@ commit = \
 		svn commit "$@"; \
 	elif [ -d .git ]; then \
 		git commit -a "$@"; \
+		git push --all; \
 	else \
 		echo "mr commit: unknown RCS"; \
 		exit 1; \
-- 
2.39.5