You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@arrow.apache.org by "Wes McKinney (JIRA)" <ji...@apache.org> on 2019/01/04 19:39:00 UTC
[jira] [Resolved] (ARROW-4158) [Dev] Allow maintainers to use a
GitHub API token when merging pull requests
[ https://issues.apache.org/jira/browse/ARROW-4158?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Wes McKinney resolved ARROW-4158.
---------------------------------
Resolution: Fixed
Issue resolved by pull request 3311
[https://github.com/apache/arrow/pull/3311]
> [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: 20m
> 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
(v7.6.3#76005)