Merge branch 'mk/maint-cg-push' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 1 Dec 2008 02:18:11 +0000 (18:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 1 Dec 2008 02:18:11 +0000 (18:18 -0800)
* mk/maint-cg-push:
git push: Interpret $GIT_DIR/branches in a Cogito compatible way

Trivial merge