Github user squito commented on the issue:
https://github.com/apache/spark/pull/21019
I guess I rely entirely on the merge script, but in these simple cases I
should just do the push directly ...--- --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
