arrow-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Antoine Pitrou (JIRA)" <>
Subject [jira] [Created] (ARROW-5146) [Dev] Merge script imposes directory name
Date Tue, 09 Apr 2019 09:49:00 GMT
Antoine Pitrou created ARROW-5146:

             Summary: [Dev] Merge script imposes directory name
                 Key: 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

$ ./dev/ 
ARROW_HOME = /home/antoine/arrow/dev
Which pull request would you like to merge? (e.g. 34): 4113
url = ''
{'documentation_url': '',
 'message': 'Not Found'}
Traceback (most recent call last):
  File "./dev/", line 462, in <module>
  File "./dev/", line 417, in cli
    pr = PullRequest(cmd, github_api, git_remote, jira_con, pr_num)
  File "./dev/", line 252, in __init__
    self.url = self._pr_data["url"]
KeyError: 'url'

PROJECT_HOME is inferred from the current directory name, though it should almost always be

This message was sent by Atlassian JIRA

View raw message