Start server, create two endpoints. Post for github, get for frontend
Listen to port 8000 + 7 (group number) = 8007
Listen to something like .route("/github_webhook", post(handle_webhook));
handle_webhook(): run github.parse_webhook(), repo.clone(), repo.checkout(), CI.build(), CI.test(), repo.cleanup(), github.send_response()
Start server, create two endpoints. Post for github, get for frontend
Listen to port 8000 + 7 (group number) = 8007 Listen to something like .route("/github_webhook", post(handle_webhook)); handle_webhook(): run github.parse_webhook(), repo.clone(), repo.checkout(), CI.build(), CI.test(), repo.cleanup(), github.send_response()
We use https://github.com/tokio-rs/axum for the server