pub async fn handle_push(
server: &ProtocolServer,
req: PushRequest,
) -> Result<PushResponse, Status>Expand description
Handle a Push request.
The engine’s role is lightweight: validate the session exists and return the repo info. The actual GitHub push (git operations, token handling, PR creation) happens in the platform layer’s gRPC wrapper.