This message was deleted.

I don’t have a specific answer here, but a porting guide from e.g. serverless to pulumi would be very useful