Merge branch 'mk/maint-cg-push' into maint
commit270c35490a52a635dc0ed1b1911c6861c68a68ed
authorJunio C Hamano <gitster@pobox.com>
Mon, 1 Dec 2008 02:18:11 +0000 (30 18:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 1 Dec 2008 02:18:11 +0000 (30 18:18 -0800)
tree1d65d2c7c564e3f40a1307b0a89628952431614b
parent16d258332e35dad58c0b22cd4d5c0e63ebb25328
parent18afe101eb2c2f68ba58085515f592148128fba3
Merge branch 'mk/maint-cg-push' into maint

* mk/maint-cg-push:
  git push: Interpret $GIT_DIR/branches in a Cogito compatible way