I found that changing the repo name after the fact becomes a Pulumi Community #contribute

I found that changing the repo name after the fact...

colossal-plastic-46140

06/17/2020, 6:10 PM

I found that changing the repo name after the fact becomes a pain