Andrew's git / gitweb.git / diff
?
Merge branch 'gj/push-more-verbose-advice' (early part)
authorJunio C Hamano <gitster@pobox.com>
Thu, 5 Dec 2013 22:03:32 +0000 (14:03 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 5 Dec 2013 22:03:32 +0000 (14:03 -0800)
* 'gj/push-more-verbose-advice' (early part):
push: enhance unspecified push default warning

Trivial merge