Heya,
On Thu, Oct 29, 2009 at 23:02, Daniel Barkalow [off-list ref] wrote:
Perhaps I should try to get the refactor in
builtin-push to use push_with_options() without any behavior change into
master ahead of the rest of this series.
I think that's a good idea in general :).
Anyway, you correctly understood the intended change here.