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)