Merge branch 'main' into zmeir-review_score

This commit is contained in:
zmeir
2023-07-19 13:37:55 +03:00
3 changed files with 53 additions and 6 deletions

View File

@ -0,0 +1,18 @@
import logging
from fastapi import FastAPI
from mangum import Mangum
from pr_agent.servers.github_app import router
logger = logging.getLogger()
logger.setLevel(logging.DEBUG)
app = FastAPI()
app.include_router(router)
handler = Mangum(app, lifespan="off")
def serverless(event, context):
return handler(event, context)