tree bef05137065b4e424232c002be3f3e3bbbe8ba23
parent 1d4bf0b362bbe26f6a8b6e8e278cd45986de4aeb
parent 1965ff744a7e4cdefcc467991182b779f3c9d0e8
author Junio C Hamano <gitster@pobox.com> 1247126874 -0700
committer Junio C Hamano <gitster@pobox.com> 1247126874 -0700

Merge branch 'ld/push-porcelain-output-format'

* ld/push-porcelain-output-format:
  add --porcelain option to git-push