kou commented on pull request #8047: URL: https://github.com/apache/arrow/pull/8047#issuecomment-681174260
This PR has been merged into master: https://github.com/apache/arrow/commit/92e01cc5ebe912f0ad1377eae765aa36478db52f We use our merge tool https://github.com/apache/arrow/blob/master/dev/merge_arrow_pr.py instead of using GitHub's merge UI to update corresponding JIRA issue too. We close PR but the change is merged. Now, you can use the CI job in https://github.com/apache/arrow/pull/8011 by rebasing on master. ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
