pr-agent/pr_agent
Ori Kotek 4076f67ab8
Merge pull request #35 from ilchemla/hotfix/bad-filename-in-docs
Fix secrets filename extension in README
2023-07-11 15:37:09 +03:00
..
agent Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
algo Merge pull request #32 from Codium-ai/tr/focused_pr 2023-07-11 15:29:36 +03:00
git_providers Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
servers Merge pull request #34 from Codium-ai/enhancement/soft_and_hard_thresh 2023-07-11 14:35:00 +03:00
settings Merge pull request #35 from ilchemla/hotfix/bad-filename-in-docs 2023-07-11 15:37:09 +03:00
tools Focused PR update 2023-07-11 08:50:28 +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