Committers: We've been a little inconsistent in the way we merge stuff to master. Please use the script dev/merge_arrow_pr.py in the repo. This automates merging a pull request and standardizes a few things: - It will squash the PR - commit it with the right message to close the PR - close the corresponding JIRA with a link to the commit.
This way, no dangling PR or JIRAs for stuff already merged in master. You need to define the following remotes to use it: git remote add apache https://git-wip-us.apache.org/repos/asf/arrow.git git remote add apache-github [email protected]:apache/arrow.git Thanks -- Julien
