Re: [1.8.0 RFC] push: start warning upcoming default change for push.default

> 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.