Commit Graph

39 Commits

Author SHA1 Message Date
3d5d517f2a code suggestions 2023-07-19 20:57:14 +03:00
df25a3ede2 typo 2023-07-19 18:22:26 +03:00
67c61e0ac8 Update help 2023-07-19 17:27:12 +03:00
0985db4e36 Update help 2023-07-19 17:20:26 +03:00
dc67e6a66e Support deploying pr-agent on AWS Lambda 2023-07-18 17:46:42 +03:00
90f97b0226 Lint fixes 2023-07-18 11:34:57 +03:00
a994ec1427 Call PRAgent from github_action_runner.py 2023-07-18 10:19:32 +03:00
51e08c3c2b reflect and review + protections 2023-07-18 08:22:25 +03:00
c866288b0a Merge remote-tracking branch 'origin/main' into tr/agent_logic 2023-07-17 15:59:37 +03:00
f8f415eb75 stable 2023-07-17 15:49:29 +03:00
0b1edd9716 A small typo 2023-07-16 21:47:50 +03:00
d54ee252ee Improve help text 2023-07-16 17:41:23 +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
7958786b4c Github action to work with an image stored on Dockerhub for faster execution 2023-07-16 14:19:02 +03:00
19f11f99ce Github action support for new style commands 2023-07-16 13:36:02 +03:00
1c1aad2806 Github custom action development - WIP 2023-07-13 19:08:10 +03:00
e2323dfb9f Github custom action development - WIP 2023-07-13 18:54:40 +03:00
f6d4a214ca Github custom action development - WIP 2023-07-13 18:40:03 +03:00
f337d76af6 Github custom action development - WIP 2023-07-13 18:32:28 +03:00
4033303c1f Github custom action development - WIP 2023-07-13 18:18:23 +03:00
38c8d187d2 Github custom action development - WIP 2023-07-13 18:16:25 +03:00
9ca6b789a7 Github custom action development - WIP 2023-07-13 18:02:38 +03:00
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