|
|
0b1edd9716
|
A small typo
|
2023-07-16 21:47:50 +03:00 |
|
|
|
93311a9d9b
|
Update GitHub app
|
2023-07-16 15:42:50 +03:00 |
|
|
|
60bce8f049
|
Update Github polling
|
2023-07-16 15:00:13 +03:00 |
|
|
|
b2d952cafa
|
1. Move deployment_type to configuration.toml
2. Lint
3. Inject GitHub app installation ID into GitHub provider using the settings mechanism.
|
2023-07-11 16:55:09 +03:00 |
|
|
|
5fdc9223e9
|
Separate output token threshold to soft and hard instead of implicit hard = soft/2
|
2023-07-11 14:11:46 +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 |
|
