push: switch default from "matching" to "simple"
commit11037ee7e3057e60d765d6f77dd154e83323dfcd
authorJunio C Hamano <gitster@pobox.com>
Sat, 5 Jan 2013 00:02:29 +0000 (4 16:02 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 13 Nov 2013 22:12:37 +0000 (13 14:12 -0800)
tree2d91d53b638a2d7ab6a8538150df61b82481e228
parentc13a5fe47b03cc115985ec79bff00b5510023092
push: switch default from "matching" to "simple"

We promised to change the behaviour of lazy "git push [there]" that
does not say what to push on the command line from "matching" to
"simple" in Git 2.0.

This finally flips that bit.

Helped-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt
Documentation/git-push.txt
advice.c
advice.h
builtin/push.c