Github user hvanhovell commented on the issue:
https://github.com/apache/spark/pull/20912
The workflow is that we merge to apache git, and that the commit get pushed
to github via some synchronization. Apparently the latter is broken.--- --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
