can you try running `pulumi config set dev:name de...
# python
i
can you try running
pulumi config set dev:name dev
again, then? and then
pulumi config
?