From c1cb06e00922ba5c15c128bab05c71220077fdce Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 2 Feb 2009 15:54:28 -0400 Subject: Updated some internal documentation. --- tools/push | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/push') diff --git a/tools/push b/tools/push index 5bb95fb6..926f1661 100755 --- a/tools/push +++ b/tools/push @@ -8,4 +8,4 @@ git push --tags mirror git remote update -github network fetch +#github network fetch -- cgit v1.2.3