set as title

This commit is contained in:
mrT23
2023-07-13 17:53:17 +03:00
parent 914cc6639a
commit 0f73f5f906
2 changed files with 15 additions and 9 deletions

View File

@ -39,6 +39,10 @@ class GithubProvider:
diff_files.append(FilePatchInfo(original_file_content_str, new_file_content_str, file.patch, file.filename))
return diff_files
def publish_description(self, pr_title: str, pr_body: str):
self.pr.edit(title=pr_title, body=pr_body)
# self.pr.create_issue_comment(pr_comment)
def publish_comment(self, pr_comment: str, is_temporary: bool = False):
response = self.pr.create_issue_comment(pr_comment)
if hasattr(response, "user") and hasattr(response.user, "login"):