Skip to content

Instantly share code, notes, and snippets.

@Bachmann1234
Last active August 29, 2015 14:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Bachmann1234/7f05fd0f6c689e1ddce2 to your computer and use it in GitHub Desktop.
Save Bachmann1234/7f05fd0f6c689e1ddce2 to your computer and use it in GitHub Desktop.
PostToPR
from github import Github
token = '<Token>'
pr_number = 1126
g = Github(token)
repo = g.get_repo('<Repo>')
pr = repo.get_pull(pr_number)
with open('diff-cover.txt') as f:
pr.create_issue_comment(f.read())
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment