(off-list ancestor, not in this archive)
Re: [PATCH] Documentation: push.default applies to all remotes · Junio C Hamano <hidden> · 2016-06-15
Re: [PATCH] Documentation: push.default applies to all remotes · Finn Arne Gangstad <hidden> · 2016-06-15
Re: [PATCH] Documentation: push.default applies to all remotes · Santi Béjar <hidden> · 2016-06-15

Re: [PATCH] Documentation: push.default applies to all remotes

From: Santi Béjar <hidden>
Date: 2016-06-15 22:46:27

Hi,

  one thing I wonder is if push.default is too generic, maybe
push.style matches more the meaning.

Santi