David Kastrup wrote:
> Felipe Contreras <felipe.contre...@gmail.com> writes:
> > David Kastrup wrote:
> >> The default behavior of "git push".
> > This is a minor change that not many people would notice, and it has not
> > actually happend. But fine, let's count it as one.
> Shrug. Your diatribe is to a good part about the default behavior of
> "git pull".
> The "minor" change affects multiple branches in upstream,
This is what most people see by default since two years ago:
warning: push.default is unset; its implicit value is changing in
Git 2.0 from 'matching' to 'simple'. To squelch this message
and maintain the current behavior after the default changes, use:
git config --global push.default matching
To squelch this message and adopt the new behavior now, use:
git config --global push.default simple
When push.default is set to 'matching', git will push local branches
to the remote branches that already exist with the same name.
In Git 2.0, Git will default to the more conservative 'simple'
behavior, which only pushes the current branch to the corresponding
remote branch that 'git pull' uses to update the current branch.
See 'git help config' and search for 'push.default' for further information.
(the 'simple' mode was introduced in Git 1.7.11. Use the similar mode
'current' instead of 'simple' if you sometimes use older versions of Git)
Do you honestly believe that there's *anybody* out there is OK with seeing this
message _every_ _single_ _time_ he pushes? No. Everybody has already configured
push.default to one thing or the other. They won't see the change when 2.0 is
And no, if by some miracle somebody hasn't configured that, it still won't
affect the branches upstream, if anything changes is that the `git pull` will
error out warning the user that the upstream branch doesn't have the same name.
It won't affect the branches you actually push.
> while your "important change" affects a single local branch.
My change does actually affect upstream branches, more than that, it affects
the upstream topology, because Git newcomers make merges by mistake when they
call `git pull` without knowing what the hell is going on. Everybody knows
And this is a red herring. I never said my change was important, we are talking
about the changes that have actually happened in the last four years, which is
> With that sort of bias, it's easy to convince yourself of anything.
I'm done discussing with you. I already demonstrated that your claim is wrong.
Change just doesn't happen.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html