Jeff King wrote: > Agreed, and put the commands on their own line for simpler > cut-and-paste, like: > > push.default is unset; its implicit value is changing in 1.8.0 from > 'matching' to 'current'. To squelch this message and maintain the > current behavior post-1.8.0, run: > > git config --global push.default matching > > To squelch this message and adopt the 1.8.0 behavior now, run: > > git config --global push.default current > > See 'git help config' and search for 'push.default' for further > information. > > I think the whitespace makes it easier to see there are two choices, and > most people have some kind of triple-click-to-copy-whole-line in their > terminal. Yes. Thank you, and sorry about my previous reply that missed the point. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html