From 899594155f181fb3ddcdd21ad1c83872f299998c Mon Sep 17 00:00:00 2001 From: Aaron Meurer Date: Thu, 3 Oct 2024 12:47:50 -0600 Subject: [PATCH] Skip sympy-bot on dependabot PRs --- sympy_bot/webapp.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/sympy_bot/webapp.py b/sympy_bot/webapp.py index 3a216a1..02e33ab 100644 --- a/sympy_bot/webapp.py +++ b/sympy_bot/webapp.py @@ -64,10 +64,20 @@ async def pull_request_edited(event, gh, *args, **kwargs): print(f"PR #{pr_number} is closed, skipping") return + if event.data['pull_request']['user']['login'] == "dependabot[bot]": + await pull_request_noop(event, gh, status_message="This is a Dependabot PR. SymPy Bot not run.") await pull_request_comment_release_notes(event, gh) await pull_request_comment_added_deleted(event, gh) await rate_limit_comment(event, gh) +async def pull_request_noop(event, gh, status_message=None): + statuses_url = event.data['pull_request']['statuses_url'] + await gh.post(statuses_url, data=dict( + state='success', + description=status_message, + context='sympy-bot/release-notes', + )) + async def pull_request_comment_release_notes(event, gh): comments_url = event.data["pull_request"]["comments_url"] number = event.data["pull_request"]["number"]