]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: bb80ee0 f7c815c)
Merge branch 'nd/push-no-thin'
authorJunio C Hamano <gitster@pobox.com>
Wed, 11 Sep 2013 21:56:58 +0000 (14:56 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 11 Sep 2013 21:56:59 +0000 (14:56 -0700)
commit2de0f39cd27d8ab8eae2e3430b81294f26252693
treecf9fc811487dc0c43ceb4cdd6a9f5a330054c8e6tree | snapshot
parentbb80ee09974667a1db6bbc5e33574ed869b76a88commit | diff
parentf7c815c3eede201def87a643fdcad09a9af3e3e7commit | diff
Merge branch 'nd/push-no-thin'

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

* nd/push-no-thin:
  push: respect --no-thin
builtin/push.c diff1 | diff2 | blob | history
builtin/receive-pack.c diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.