5 commits

Author	SHA1	Message	Date
Ori Kotek	2de83827b6	Add exception protection for unexpected conditions during request handling	2023-07-06 19:08:47 +03:00
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
Ori Kotek	399d7b7990	Improve handling of tagging and Github app user interaction - a small correction	2023-07-06 13:09:51 +03:00
Ori Kotek	b6333e7f20	Improve handling of tagging and Github app user interaction	2023-07-06 12:58:05 +03:00
Ori Kotek	4b4d91dfe9	Initial commit - PR-Agent OSS release	2023-07-06 00:21:08 +03:00