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

I'm looking to `alias` a provider (didn't run into this few days ago with a different project which is strange). Currently using `default_5_42_0` and want to switch to an explicit provider (let's say `management`). But that gives an error:

```  pulumi:providers:aws (default_5_42_0):
    error: Duplicate resource URN 'urn:pulumi:prod::accounts::pulumi:providers:aws::default_5_42_0' conflicting with alias on resource with URN 'urn:pulumi:prod::accounts::pulumi:providers:aws::management'```
Is it required to delete the current provider first? That leads to more issues as there are a few resources created from that provider

Oh I think this is probably because there are still resources not switched to the explicit provider yet. After disallowing default provider in the code, I'm able to see error that default provider still being used