merge-pull-request

#!/usr/bin/env python
from argparse import ArgumentParser
from github import Github
from os.path import expanduser
from sys import exit

if __name__ == "__main__":
  parser = ArgumentParser()
  parser.add_argument("pr", type=int)
  parser.add_argument("-m", dest="message", type=str, default=None)
  args = parser.parse_args()

  gh = Github(login_or_token=open(expanduser("~/.github-token")).read().strip())
  try:
    pr = gh.get_organization("cms-sw").get_repo("cmssw").get_pull(args.pr)
  except:
    print "Could not find pull request. Maybe this is an issue?"
    exit(0)
  print pr.number, ":", pr.title
  if pr.is_merged():
    print "Pull request is already merged."
    exit(0)

  if args.message:
    pr.merge(commit_message=message)
  else:
    pr.merge()