ti.sil/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-12-13 03:15:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
pr-agent/pr_agent/servers
History
Ori Kotek 6648c04799
Protect from notifications that may be handled twice by keeping a set of handled notification IDs
2023-07-06 17:46:43 +03:00
..
github_app_webhook.py Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
github_polling.py Protect from notifications that may be handled twice by keeping a set of handled notification IDs 2023-07-06 17:46:43 +03:00
utils.py Initial commit - PR-Agent OSS release 2023-07-06 00:21:08 +03:00