Github user squito commented on the issue:
https://github.com/apache/spark/pull/20640
thanks for updating. can you also update the PR description?
yeah its fine to just update this one. You can't in general update others'
prs, unless they give you push permissions to their repos. You *can* start
from their branch, and then add your changes on top -- that is a little
preferable as that way the commit history includes their work, so when someone
merges its a bit more obvious. If you can adjust this PR that way, that would
be nice -- but otherwise its OK, I will try to remember to adjust attribution
when merging
---
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
