From 45456c4a566b58ca5a6a56430e3b9032fb04939c Mon Sep 17 00:00:00 2001 From: Rustem Khusnutdinov Date: Fri, 29 Nov 2024 01:01:59 +0300 Subject: [PATCH] + --- src/entrypoint | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/entrypoint b/src/entrypoint index bc3daa8..9fa492c 100755 --- a/src/entrypoint +++ b/src/entrypoint @@ -218,14 +218,14 @@ def post_comment(body: str, gh: github.Github, config: Config) -> None: repo = gh.get_repo(config.GITHUB_REPOSITORY) assert config.GITHUB_PR_NUMBER issue = repo.get_issue(config.GITHUB_PR_NUMBER) - for comment in issue.get_comments(): - if comment.user.login == me and MARKER in comment.body: - print("Update previous comment") - comment.edit(body=body) - break - else: - print("Adding new comment") - issue.create_comment(body=body) + # for comment in issue.get_comments(): + # if comment.user.login == me and MARKER in comment.body: + # print("Update previous comment") + # comment.edit(body=body) + # break + # else: + print("Adding new comment") + issue.create_comment(body=body) def compute_badge(coverage_info: dict, config: Config) -> str: