parameters: (repo,pull)
docstring: Retrieve pull request information from github.
      Return None if no title can be found, or an error happens.
docstring_summary: Retrieve pull request information from github.
      Return None if no title can be found, or an error happens.
docstring_tokens: Retrieve pull request information from github . Return None if no title can be found or an error happens .
function: def retrieve_pr_info(repo,pull):
      '''
      Retrieve pull request information from github.
      Return None if no title can be found, or an error happens.
      '''
      try:
          req = Request("https://api.github.com/repos/"+repo+"/pulls/"+pull)
          result = urlopen(req)
          reader = codecs.getreader('utf-8')
          obj = json.load(reader(result))
          return obj
      except Exception as e:
          print('Warning: unable to retrieve pull information from github: %s' % e)
          return None
function_tokens: def retrieve_pr_info ( repo , pull ) : try : req = Request ( "https://api.github.com/repos/" + repo + "/pulls/" + pull ) result = urlopen ( req ) reader = codecs . getreader ( 'utf-8' ) obj = json . load ( reader ( result ) ) return obj except Exception as e : print ( 'Warning: unable to retrieve pull information from github: %s' % e ) return None