From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 11 Sep 2013 21:56:58 +0000 (-0700)
Subject: Merge branch 'nd/push-no-thin'
X-Git-Tag: v1.8.5-rc0~156
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/2de0f39cd27d8ab8eae2e3430b81294f26252693?hp=2de0f39cd27d8ab8eae2e3430b81294f26252693

Merge branch 'nd/push-no-thin'

"git push --no-thin" was a no-op by mistake.

* nd/push-no-thin:
push: respect --no-thin
---