Github user srowen commented on the issue:
https://github.com/apache/spark/pull/13114
@nchammas Yeah the script or process for that disappeared .. but all it
would do is push an empty commit with "closes xxx" in its message. I can do
that manually without much work. One moment ...
-
Github user nchammas commented on the issue:
https://github.com/apache/spark/pull/13114
@srowen @vanzin - Shouldn't some automated process be picking up your
comments ("close this PR") and closing this PR? I thought we had something like
that.
---
If your project is set up for it, y
Github user vanzin commented on the issue:
https://github.com/apache/spark/pull/13114
@GuoNing89 please close this PR.
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled an
