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

Is it possible to change the linked repo of an existing project? I renamed a GitHub repo and the project at <http://app.pulumi.com|app.pulumi.com> is linking to the old name (even after a `pulumi up` in a GitHub Action in the renamed repo).

aside: doesnt github handle the redirect for you?

Only until I create a new repo with the old name.