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
pr-agent/pr_agent
History
Ori Kotek f1ab6ec88f
Merge pull request #11 from Codium-ai/bugfix/double_notifications 
Protect from notifications that may be handled twice
2023-07-06 18:17:13 +03:00
..
agent Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
algo minor fixes 2023-07-06 16:27:39 +03:00
git_providers Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
servers Protect from notifications that may be handled twice by keeping a set of handled notification IDs 2023-07-06 17:46:43 +03:00
settings formatting 2023-07-06 12:49:10 +03:00
tools Merge pull request #11 from Codium-ai/bugfix/double_notifications 2023-07-06 18:17:13 +03:00
__init__.py Initial commit - PR-Agent OSS release 2023-07-06 00:21:08 +03:00
cli.py Don't add "How to use" when running from the command line 2023-07-06 17:52:12 +03:00
config_loader.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