# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1347459264 14400
# Node ID 4878bb465b630ffe49f3eb8eee26cd5f00e5a82e
# Parent  e40c6d4c4262d1af9be0d406acbd3da27ffebe9d
hg pg

diff -r e40c6d4c4262 -r 4878bb465b63 hgrc
--- a/hgrc	Wed Sep 12 10:13:01 2012 -0400
+++ b/hgrc	Wed Sep 12 10:14:24 2012 -0400
@@ -115,6 +115,9 @@
 fdiff = diff -U 10000000000000
 qfdiff = qdiff -U 10000000000000
 
+# Push to the git mirror at the same time.
+pg = !"$HG" push && "$HG" push git
+
 # Push the qparent revision (mnemonic: q push parent).
 qpp = push -r qparent