From f0d780c7ece7c1e504837cd7ee737292cfbfbf03 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Thu, 5 Sep 2024 16:55:10 +0300 Subject: [PATCH] feat: enhance GitHub polling with synchronous comment processing and improved logging --- pr_agent/servers/github_polling.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pr_agent/servers/github_polling.py b/pr_agent/servers/github_polling.py index 805eae51..14379083 100644 --- a/pr_agent/servers/github_polling.py +++ b/pr_agent/servers/github_polling.py @@ -164,8 +164,7 @@ async def polling_loop(): async with aiohttp.ClientSession() as session: while True: try: - await asyncio.sleep(3) - get_logger().info("Polling for notifications") + await asyncio.sleep(5) headers = { "Accept": "application/vnd.github.v3+json", "Authorization": f"Bearer {token}"