You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@arrow.apache.org by "Antoine Pitrou (JIRA)" <ji...@apache.org> on 2019/04/09 09:49:00 UTC
[jira] [Created] (ARROW-5146) [Dev] Merge script imposes directory
name
Antoine Pitrou created ARROW-5146:
-------------------------------------
Summary: [Dev] Merge script imposes directory name
Key: ARROW-5146
URL: https://issues.apache.org/jira/browse/ARROW-5146
Project: Apache Arrow
Issue Type: Bug
Components: Developer Tools
Affects Versions: 0.13.0
Reporter: Antoine Pitrou
The merge script currently fails with a cryptic message if the parent directory isn't named "arrow":
{code}
$ ./dev/merge_arrow_pr.py
ARROW_HOME = /home/antoine/arrow/dev
PROJECT_NAME = dev
Which pull request would you like to merge? (e.g. 34): 4113
url = 'https://api.github.com/repos/apache/dev/pulls/4113'
{'documentation_url': 'https://developer.github.com/v3/pulls/#get-a-single-pull-request',
'message': 'Not Found'}
Traceback (most recent call last):
File "./dev/merge_arrow_pr.py", line 462, in <module>
cli()
File "./dev/merge_arrow_pr.py", line 417, in cli
pr = PullRequest(cmd, github_api, git_remote, jira_con, pr_num)
File "./dev/merge_arrow_pr.py", line 252, in __init__
self.url = self._pr_data["url"]
KeyError: 'url'
{code}
PROJECT_HOME is inferred from the current directory name, though it should almost always be "arrow".
--
This message was sent by Atlassian JIRA
(v7.6.3#76005)