Ori Kotek 32151e3d9a Temporarily remove gitlab polling server until a rewrite is ready

2023-07-23 17:04:41 +03:00

..

github_action_runner.py

Lint fixes

2023-07-18 11:34:57 +03:00

github_app.py

Update GitHub app

2023-07-16 15:42:50 +03:00

github_polling.py

Lint fixes

2023-07-18 11:34:57 +03:00

help.py

code suggestions

2023-07-19 20:57:14 +03:00

serverless.py

Support deploying pr-agent on AWS Lambda

2023-07-18 17:46:42 +03:00

utils.py

Initial commit - PR-Agent OSS release

2023-07-06 00:21:08 +03:00