Re: [PATCH 3/4] push: accept push options

Stefan Beller [off-list ref] writes:

This is not what I had in mind, but rather the pain of dealing with multi line
environment variables.

Hmph, is that painful?

    $ cmd "$VAR"

inside double quotes would do multi-line just fine, I think.

But I think it is OK (and probably preferrable) to limit the options
to be a collection of one-liners.