pitrou edited a comment on pull request #158: URL: https://github.com/apache/parquet-format/pull/158#issuecomment-810113637
I'll note that the Arrow script that is being copied here received some later changes, but none seems mandatory for proper functionality. ``` $ git log --format=oneline --after=2020-01-28 dev/merge_arrow_pr.py 5eef8c399c9d5fa5f15289a5e12bd222135c6797 ARROW-11941: [Dev] Don't update Jira if run "DEBUG=1 merge_arrow_pr.py" 28bd4da384786673caac0244a4156334f7331264 ARROW-6915: [Developer] Do not overwrite point release fix versions with merge tool 5ca82175e9c06b1f3308fb07544c3f4812b613fa ARROW-7530: [Developer] Do not include list of PR commits in commit message when using PR merge tool 5ffbf0ab3a2bb085b76e55e5cb862c2a74ade552 ARROW-8016: [Developer] Fix jira-python deprecation warning in merge_arrow_pr.py ``` @xhochy Do you want to synchronize this PR anyway or should we simply merge the current version? -- 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: us...@infra.apache.org