Re: [PATCHv7 0/4] Push options

From: Junio C Hamano <hidden>
Date: 2016-07-14 22:38:45

Stefan Beller [off-list ref] writes:

Jeff,

here is the more idiomatic way.

Thanks,
Stefan

Looks good to me.  Thanks.