Merge branch 'am/maint-push-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 6 Feb 2009 02:06:03 +0000 (18:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 6 Feb 2009 02:06:03 +0000 (18:06 -0800)
* am/maint-push-doc:
Documentation: rework src/dst description in git push
Documentation: more git push examples
Documentation: simplify refspec format description

Trivial merge