Add is_auto_command config check to conditionally publish output and update GitHub App to set this flag

This commit is contained in:
mrT23
2024-06-19 11:51:10 +03:00
parent 833bb29808
commit 9034e18772
5 changed files with 6 additions and 3 deletions

View File

@ -128,6 +128,7 @@ async def handle_new_pr_opened(body: Dict[str, Any],
log_context: Dict[str, Any],
agent: PRAgent):
title = body.get("pull_request", {}).get("title", "")
get_settings().config.is_auto_command = True
# logic to ignore PRs with specific titles (e.g. "[Auto] ...")
ignore_pr_title_re = get_settings().get("GITHUB_APP.IGNORE_PR_TITLE", [])