github.py 文件源码

def pr_info(bot, msg):
    """Show GitHub project pull request information."""
    user, repo_name, pr_num = msg.match.groups()

    github = github3.GitHub()
    repo = github.repository(user, repo_name)

    if repo is not None:
        pr = repo.pull_request(int(pr_num))
        if pr is not None:
            msg.respond(
                '\x0314PR #{num}: {title}\x03 (\x0308{state}\x03, submitted by \x0302{user}\x03)'.format(
                    num=pr_num,
                    title=pr.title,
                    state=pr.state,
                    user=pr.user.login,
                ),
                ping=False,
            )