Junio C Hamano writes:
> base to show an incremental improvement, but here is how I would do
> the "code" part.
>
> builtin/push.c | 22 ++
> 1 file changed, 18 insertions(+), 4 deletions(-)
>
> diff --git a/builtin/push.c b/builtin/push.c
> index 03846e8379..89ef029c67 10064
Marius Paliga writes:
> builtin/push.c: add push.pushOption config
This is a good title for this change; it would be perfect if it were
on the Subject: header ;-)
> Currently push options need to be given explicitly, via
> the command line as "git push --push-option".
>
> The UX of Git would be
builtin/push.c: add push.pushOption config
Currently push options need to be given explicitly, via
the command line as "git push --push-option".
The UX of Git would be enhanced if push options could be
configured instead of given each time on the command line.
Add the config option push.pushOpti
3 matches
Mail list logo
