pr-agent/pr_agent
2023-07-07 16:24:02 +03:00
..
agent Improve handling of tagging and Github app user interaction 2023-07-06 12:58:05 +03:00
algo exclude snap files 2023-07-06 20:22:54 +03:00
git_providers remove prints 2023-07-07 16:24:02 +03:00
servers Protect against no notifications received 2023-07-06 20:04:32 +03:00
settings working example 2023-07-07 15:02:40 +03:00
tools remove prints 2023-07-07 16:24:02 +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