Merge branch 'jc/push-2.0-default-to-simple'
commit009055f3ecd8d9b4eb140429cb5ce5d2088174c7
authorJunio C Hamano <gitster@pobox.com>
Fri, 7 Mar 2014 23:13:15 +0000 (7 15:13 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 7 Mar 2014 23:13:15 +0000 (7 15:13 -0800)
tree20b94ea336a2cd7435a937b253f9527761e062cb
parent6ab4ae2b415c375170309c2b7ace0e4daa8d0215
parentb2ed944af79041b4da151a432064c3b1c1b82fc5
Merge branch 'jc/push-2.0-default-to-simple'

Finally update the "git push" default behaviour to "simple".
Documentation/config.txt
Documentation/git-push.txt
advice.c
advice.h
builtin/push.c