No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

those options aren’t typed in the API, but they’re available here:
<https://docs.aws.amazon.com/elasticbeanstalk/latest/dg/command-options-general.html>
<https://docs.aws.amazon.com/elasticbeanstalk/latest/dg/command-options-specific.html>
<https://docs.aws.amazon.com/elasticbeanstalk/latest/dg/configuration-options-custom.html>

we could possibly add enums for all those values, but if the API doesn’t return them we’d have to add manual overlays