ti.sil/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-12-12 19:05:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: enhance GitHub polling with synchronous comment processing and improved logging

Browse source
This commit is contained in:
mrT23 2024-09-05 16:55:10 +03:00
parent 19048ee705
commit f0d780c7ec
No known key found for this signature in database
GPG key ID: D350490E39D5F5AD
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pr_agent/servers/github_polling.py
View file

@ -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}"