2 commits

Author	SHA1	Message	Date
Ian Wahbe	b9f57bc6b9	Move /opt/pulumi to $HOME/.pulumi (#8437) ... * Move `/opt/pulumi` to `$HOME/.pulumi` * Don't suggest adding $HOME/.pulumi to PATH	2021-11-17 10:37:38 -08:00
Jan Keromnes	c8eac38286	Fully-automate development setup with Gitpod (#6431)	2021-03-10 08:13:35 -08:00