Passing the provider to each resource is correct. To avoid doing that, you need to change the default provider, which can only be done by setting the correct roles etc. in your ~/.aws/credentials
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.
