|
|
5742a9be1e
|
Github custom action development
|
2023-07-13 17:46:12 +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 |
|
|
|
6eacf4791d
|
Merge remote-tracking branch 'origin/main' into feature/gitlab_provider
|
2023-07-11 15:49:06 +03:00 |
|
|
|
e1b856f7e6
|
Merge pull request #34 from Codium-ai/enhancement/soft_and_hard_thresh
Separate output token threshold to soft and hard instead of implicit hard = soft/2
|
2023-07-11 14:35:00 +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 |
|
|
|
8fba670bda
|
Rename github_app_webhook.py to github_app.py
|
2023-07-08 13:36:47 -04:00 |
|
|
|
fb4badd160
|
changes
|
2023-07-08 12:14:32 +03:00 |
|
|
|
d4adcb3c22
|
Configurable polling interval
|
2023-07-08 10:26:41 +03:00 |
|
|
|
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 |
|
