kou commented on pull request #12004: URL: https://github.com/apache/arrow/pull/12004#issuecomment-1031955625
@lafiona Sorry for confusing you by our merge method. You don't need extra action for this pull request. We use our merge script https://github.com/apache/arrow/blob/master/dev/merge_arrow_pr.py to merge a pull request. It squashes commits in the pull request, pushes the squashed commit to master and updates the correspondent JIRA issue. We don't use GitHub's "merge button". So "Closed with unmerged commits" is seen on GitHub UI. But you don't need extra action because we have changes in this pull request 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. To unsubscribe, e-mail: github-unsubscr...@arrow.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
