Merge branch 'gj/push-more-verbose-advice'
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 Mar 2014 23:17:20 +0000 (15:17 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 Mar 2014 23:17:20 +0000 (15:17 -0800)
1  2 
builtin/push.c
diff --cc builtin/push.c
Simple merge