Merge branch 'jk/push-config'
authorJunio C Hamano <gitster@pobox.com>
Mon, 23 Mar 2015 18:28:13 +0000 (11:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 23 Mar 2015 18:28:14 +0000 (11:28 -0700)
Restructure "git push" codepath to make it easier to add new
configuration bits and then add push.followTags configuration that
turns --follow-tags option on by default.

* jk/push-config:
push: allow --follow-tags to be set by config push.followTags
cmd_push: pass "flags" pointer to config callback
cmd_push: set "atomic" bit directly
git_push_config: drop cargo-culted wt_status pointer

1  2 
Documentation/config.txt
Documentation/git-push.txt
contrib/completion/git-completion.bash
Simple merge
Simple merge
Simple merge