|
|
8ae936e504
|
Bug fixes
|
2023-08-01 15:58:23 +03:00 |
|
|
|
d7b77764c3
|
Support context aware settings (for each incoming request), support override of settings, refactor CLI to use pr_agent.py
|
2023-08-01 14:43:26 +03:00 |
|
|
|
a8780f722d
|
Handle marketplace hook
|
2023-07-28 03:22:25 +03:00 |
|
|
|
1a8fce1505
|
Updated handling of installation id
|
2023-07-28 02:44:28 +03:00 |
|
|
|
2dfbfec8c2
|
refactor
|
2023-07-24 19:48:24 +03:00 |
|
|
|
93311a9d9b
|
Update GitHub app
|
2023-07-16 15:42:50 +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 |
|
|
|
8fba670bda
|
Rename github_app_webhook.py to github_app.py
|
2023-07-08 13:36:47 -04:00 |
|
