Johannes Schindelin [off-list ref] writes:
quoted
git push default change:
git push will by default push "nothing" instead of "matching".
Hasn't this been shot down already? I do not want that change. I think
it is harmful.
At least without a proper way to prepare existing users for the end of the
world.
I haven't actually read the patch, but my reading of the cover lette ris
that the four-patch sequence 4-to-7 is (meant to be, at least) structured
that way.