raulcd commented on PR #13750: URL: https://github.com/apache/arrow/pull/13750#issuecomment-1225917952
hi! @kevingurney ! I didn't know it was possible to set a PR into merged state without a real merge happening. I would recommend to open a new PR at this stage. Also, if you could help me understand how the PR got into merge state, there might be something with the workflow that isn't quite right as this should not happen. Thanks! -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
