Ori Kotek 6648c04799 Protect from notifications that may be handled twice by keeping a set of handled notification IDs

2023-07-06 17:46:43 +03:00

..

github_app_webhook.py

Improve handling of tagging and Github app user interaction

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

github_polling.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

utils.py

Initial commit - PR-Agent OSS release

2023-07-06 00:21:08 +03:00