mrT23 301622216f Focused PR update

2023-07-11 08:50:28 +03:00

..

agent

Improve handling of tagging and Github app user interaction

2023-07-06 12:58:05 +03:00

algo

Focused PR update

2023-07-11 08:50:28 +03:00

git_providers

Improve handling of tagging and Github app user interaction

2023-07-06 12:58:05 +03:00

servers

Rename github_app_webhook.py to github_app.py

2023-07-08 13:36:47 -04:00

settings

Focused PR update

2023-07-11 08:50:28 +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