Is it possible to change the linked repo of an existing project? I renamed a GitHub repo and the project at 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.