|
|
75167c2700
|
add polling
|
2023-07-08 08:52:11 +03:00 |
|
|
|
c8d369ee61
|
Protect against no notifications received
|
2023-07-06 20:04:32 +03:00 |
|
|
|
ffa4ce3f1e
|
Protect against no notifications received
|
2023-07-06 19:22:55 +03:00 |
|
|
|
2de83827b6
|
Add exception protection for unexpected conditions during request handling
|
2023-07-06 19:08:47 +03:00 |
|
|
|
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 |
|
|
|
399d7b7990
|
Improve handling of tagging and Github app user interaction - a small correction
|
2023-07-06 13:09:51 +03:00 |
|
|
|
b6333e7f20
|
Improve handling of tagging and Github app user interaction
|
2023-07-06 12:58:05 +03:00 |
|
|
|
4b4d91dfe9
|
Initial commit - PR-Agent OSS release
|
2023-07-06 00:21:08 +03:00 |
|
