[PATCH 6 of 6 RFC] push: allow specifying default-push as defaultpush

[Kevin Bullock]

On 2 Aug 2013, at 9:15 AM, Augie Fackler wrote:

> # HG changeset patch
> # User Augie Fackler <durin42 at gmail.com>
> # Date 1374709814 14400
> #      Wed Jul 24 19:50:14 2013 -0400
> # Node ID d59a05f3c4e013ecf9c7d3b40c04fa9900b7f74f
> # Parent  4c9c2538d46bed89734a465ae01dbda483154425
> push: allow specifying default-push as defaultpush

Unlike the rest of the series, this one causes us to change the output -- on one of our most well-publicized config options. I guess I'm -1 on this until we're ready to officially favor the non-hyphenated/-underscored forms. Rest of the series looks fine to me.

pacem in terris / мир / शान्ति / ‎‫سَلاَم‬ / 平和
Kevin R. Bullock