third_party/blink/tools/blinkpy/w3c/pr_cleanup_tool.py
def close_pr_and_delete_branch(self, pull_request_number, comment):
        """Closes a PR with a comment and delete the corresponding branch."""
        self.wpt_github.add_comment(pull_request_number, comment)
        self.wpt_github.update_pr(pull_request_number, state='closed')
        branch = self.wpt_github.get_pr_branch(pull_request_number)
        self.wpt_github.delete_remote_branch(branch)
Closes a PR with a comment and delete the corresponding branch.
Closes a PR with a comment and delete the corresponding branch.
Closes a PR with a comment and delete the corresponding branch .
def close_pr_and_delete_branch(self, pull_request_number, comment):
        self.wpt_github.add_comment(pull_request_number, comment)
        self.wpt_github.update_pr(pull_request_number, state='closed')
        branch = self.wpt_github.get_pr_branch(pull_request_number)
        self.wpt_github.delete_remote_branch(branch)
def close_pr_and_delete_branch ( self , pull_request_number , comment ) : self . wpt_github . add_comment ( pull_request_number , comment ) self . wpt_github . update_pr ( pull_request_number , state = 'closed' ) branch = self . wpt_github . get_pr_branch ( pull_request_number ) self . wpt_github . delete_remote_branch ( branch )
Closes a PR with a comment and delete the corresponding branch.
Closes a PR with a comment and delete the corresponding branch .
"""Closes a PR with a comment and delete the corresponding branch."""
self
pull_request_number
comment