publish_persistent_comment

This commit is contained in:
mrT23
2023-11-09 15:24:55 +02:00
parent 7e5889061c
commit 737792d83c
5 changed files with 7 additions and 12 deletions

View File

@ -154,9 +154,7 @@ class GithubProvider(GitProvider):
def publish_description(self, pr_title: str, pr_body: str):
self.pr.edit(title=pr_title, body=pr_body)
def publish_persistent_comment(self, pr_comment: str,
initial_text="## PR Analysis",
updated_text="## PR Analysis (updated)"):
def publish_persistent_comment(self, pr_comment: str, initial_text: str, updated_text: str):
prev_comments = list(self.pr.get_issue_comments())
for comment in prev_comments:
body = comment.body