tasks/libs/common/github_api.py
def update_pr(self, pull_number, milestone_number, labels):
        """
        Updates a given PR with the provided milestone number and labels.
        """

        path = f"/repos/{self.repository}/issues/{pull_number}"
        data = json.dumps(
            {
                "milestone": milestone_number,
                "labels": labels,
            }
        )
        return self.make_request(path, method="POST", json_output=True, data=data)

        Updates a given PR with the provided milestone number and labels.
        
Updates a given PR with the provided milestone number and labels.
Updates a given PR with the provided milestone number and labels .
def update_pr(self, pull_number, milestone_number, labels):
        path = f"/repos/{self.repository}/issues/{pull_number}"
        data = json.dumps(
            {
                "milestone": milestone_number,
                "labels": labels,
            }
        )
        return self.make_request(path, method="POST", json_output=True, data=data)
def update_pr ( self , pull_number , milestone_number , labels ) : path = f"/repos/{self.repository}/issues/{pull_number}" data = json . dumps ( { "milestone" : milestone_number , "labels" : labels , } ) return self . make_request ( path , method = "POST" , json_output = True , data = data )
Updates a given PR with the provided milestone number and labels.
Updates a given PR with the provided milestone number and labels .
"""
        Updates a given PR with the provided milestone number and labels.
        """
self
pull_number
milestone_number
labels