Protect against no notifications received

2025-07-02 11:50:37 +08:00 · 2023-07-06 19:22:55 +03:00
parent 2de83827b6
commit ffa4ce3f1e
1 changed files with 2 additions and 0 deletions
--- a/pr_agent/servers/github_polling.py
+++ b/pr_agent/servers/github_polling.py
@ -55,6 +55,8 @@ async def polling_loop():
                            last_modified[0] = response.headers['Last-Modified']
                            since[0] = None
                        notifications = await response.json()
+                        if not notifications:
+                            continue
                        for notification in notifications:
                            if 'id' in notification and notification['id'] in handled_ids:
                                continue