https://pulumi.com logo
Title
p

plain-keyboard-29627

04/13/2023, 7:55 PM
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).
b

brainy-church-78120

04/13/2023, 8:56 PM
aside: doesnt github handle the redirect for you?
p

plain-keyboard-29627

04/13/2023, 8:59 PM
Only until I create a new repo with the old name.