Implement edit comment

2025-07-18 03:20:39 +08:00 · 2024-02-11 12:31:30 +02:00
parent a40643bbba
commit 73d2b1565d
4 changed files with 21 additions and 0 deletions
--- a/pr_agent/git_providers/github_provider.py
+++ b/pr_agent/git_providers/github_provider.py
@ -395,6 +395,9 @@ class GithubProvider(GitProvider):
        except Exception as e:
            get_logger().exception(f"Failed to remove comment, error: {e}")

+    def edit_comment(self, comment, body: str):
+        comment.edit(body=body)
+
    def get_title(self):
        return self.pr.title