github.py 文件源码

def issue_info(bot, msg):
    """Show GitHub project issue information."""
    user, repo_name, issue_num = msg.match.groups()

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

    if repo is not None:
        issue = repo.issue(int(issue_num))
        if issue is not None:
            msg.respond(
                '\x0314Issue #{num}: {title}\x03 (\x0308{state}\x03, filed by \x0302{user}\x03)'.format(
                    num=issue_num,
                    title=issue.title,
                    state=issue.state,
                    user=issue.user.login,
                ),
                ping=False,
            )