third_party/blink/tools/blinkpy/w3c/wpt_github.py
def is_pr_merged(self, pr_number):
        """Checks if a PR has been merged.

        API doc: https://developer.github.com/v3/pulls/#get-if-a-pull-request-has-been-merged

        Returns:
            True if merged, False if not.
        """
        path = '/repos/%s/%s/pulls/%d/merge' % (WPT_GH_ORG, WPT_GH_REPO_NAME,
                                                pr_number)
        cached_error = None
        for i in range(5):
            try:
                response = self.request(path, method='GET')
                if response.status_code == 204:
                    return True
                else:
                    raise GitHubError(204, response.status_code,
                                      'check if PR %d is merged' % pr_number)
            except HTTPError as e:
                if e.code == 404:
                    return False
                else:
                    raise
            except URLError as e:
                # After migrate to py3 we met random timeout issue here,
                # Retry this request in this case
                _log.warning("Meet URLError...")
                cached_error = e
        else:
            raise cached_error
Checks if a PR has been merged.

        API doc: https://developer.github.com/v3/pulls/#get-if-a-pull-request-has-been-merged

        Returns:
            True if merged, False if not.
        
Checks if a PR has been merged.
Checks if a PR has been merged .
def is_pr_merged(self, pr_number):
        path = '/repos/%s/%s/pulls/%d/merge' % (WPT_GH_ORG, WPT_GH_REPO_NAME,
                                                pr_number)
        cached_error = None
        for i in range(5):
            try:
                response = self.request(path, method='GET')
                if response.status_code == 204:
                    return True
                else:
                    raise GitHubError(204, response.status_code,
                                      'check if PR %d is merged' % pr_number)
            except HTTPError as e:
                if e.code == 404:
                    return False
                else:
                    raise
            except URLError as e:
                _log.warning("Meet URLError...")
                cached_error = e
        else:
            raise cached_error
def is_pr_merged ( self , pr_number ) : path = '/repos/%s/%s/pulls/%d/merge' % ( WPT_GH_ORG , WPT_GH_REPO_NAME , pr_number ) cached_error = None for i in range ( 5 ) : try : response = self . request ( path , method = 'GET' ) if response . status_code == 204 : return True else : raise GitHubError ( 204 , response . status_code , 'check if PR %d is merged' % pr_number ) except HTTPError as e : if e . code == 404 : return False else : raise except URLError as e : _log . warning ( "Meet URLError..." ) cached_error = e else : raise cached_error
Checks if a PR has been merged.
Checks if a PR has been merged .
"""Checks if a PR has been merged.

        API doc: https://developer.github.com/v3/pulls/#get-if-a-pull-request-has-been-merged

        Returns:
            True if merged, False if not.
        """ # After migrate to py3 we met random timeout issue here, # Retry this request in this case
True if merged, False if not.
True if merged False if not .
self
pr_number