Function parse_pull_request

src/ghstack/github_utils.py:152–178

(
    pull_request: str,
    *,
    sh: Optional[ghstack.shell.Shell] = None,
    remote_name: Optional[str] = None,
)

def parse_pull_request(
    pull_request: str,
    *,
    sh: Optional[ghstack.shell.Shell] = None,
    remote_name: Optional[str] = None,
) -> GitHubPullRequestParams:
    pull_request = pull_request.lstrip("#")
    m = RE_PR_URL.match(pull_request)
    if not m:
        # We can reconstruct the URL if just a PR number is passed
        if sh is not None and remote_name is not None:
            remote_url = sh.git("remote", "get-url", "--push", remote_name)
            # Do not pass the shell to avoid infinite loop
            try:
                return parse_pull_request(
                    _normalize_remote_url(remote_url) + "/pull/" + pull_request
                )
            except RuntimeError:
                # Fall back on original error message
                pass
        raise RuntimeError("Did not understand PR argument.  PR must be URL")

    github_url = m.group("github_url")
    owner = m.group("owner")
    name = m.group("name")
    number = int(m.group("number"))
    return {"github_url": github_url, "owner": owner, "name": name, "number": number}