[
https://issues.apache.org/jira/browse/ARROW-4158?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17661182#comment-17661182
]
Rok Mihevc commented on ARROW-4158:
-----------------------------------
This issue has been migrated to [issue
#20743|https://github.com/apache/arrow/issues/20743] on GitHub. Please see the
[migration documentation|https://github.com/apache/arrow/issues/14542] for
further details.
> [Dev] Allow maintainers to use a GitHub API token when merging pull requests
> ----------------------------------------------------------------------------
>
> Key: ARROW-4158
> URL: https://issues.apache.org/jira/browse/ARROW-4158
> Project: Apache Arrow
> Issue Type: Improvement
> Components: Developer Tools
> Reporter: Wes McKinney
> Assignee: Wes McKinney
> Priority: Major
> Labels: pull-request-available
> Fix For: 0.12.0
>
> Time Spent: 40m
> Remaining Estimate: 0h
>
> I rate limited today on unauthenticated requests for some reason -- the
> failure mode for dev/merge_arrow_pr.py was pretty bad. I'm making the output
> more helpful and adding an option to use an API token set via environment
> variable
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
