Merge branch 'jk/push-simple'
commit23c0956441a101b2e8eca7e063e71bdc69a0c415
authorJunio C Hamano <gitster@pobox.com>
Fri, 12 Dec 2014 22:31:40 +0000 (12 14:31 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Dec 2014 22:31:40 +0000 (12 14:31 -0800)
treecc8f83322d27d0576c94f63f0c26f6386c8932fb
parent0ddedd4d6b9b3e8eb3557d8ed28e1a0b354a25f8
parent00a6fa0720283b93eb011adcfea850fe21345548
Merge branch 'jk/push-simple'

Git 2.0 was supposed to make the "simple" mode for the default of
"git push", but it didn't.

* jk/push-simple:
  push: truly use "simple" as default, not "upstream"
builtin/push.c