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