Index: TipAndDoc/.gitconfig
===================================================================
--- TipAndDoc/.gitconfig	(revision 0dcad9abe1cc8f06f6a1bdbc679b04844abf86c5)
+++ TipAndDoc/.gitconfig	(revision 9be4681e9c2dee1bdd7eb904c6e8e2553c408e10)
@@ -12,2 +12,4 @@
 [core]
 	excludesfile = ~/.gitignore
+[svn]
+	pushmergeinfo = true