Merge branch 'nd/push-no-thin'

"git push --no-thin" was a no-op by mistake. * nd/push-no-thin: push: respect --no-thin

Junio C Hamano committed Sep 11, 2013 at 14:56 UTC 2de0f39cd27d8ab8eae2e3430b81294f26252693

No changes.