Jeff King <peff@xxxxxxxx> writes:
> This makes me a little nervous, because we don't know what those push
> options were supposed to do.
Thanks for stopping this early. As you said, this die() is very
much deliberate way for us to make sure that we do not damage an
receiving end that is not prepared.
> So perhaps it would make sense to do one or both of:
>
> - allow remote.*.pushOptions for specific remotes
>
> - add a push.pushOptionIfAble key which behaves similarly to
> push.pushOption, but is quietly ignored if options aren't supported.
> Then you could put options there that you know are safe to be
> ignored.
Sensible suggestions.
