calm-greece-42329
04/14/2019, 6:01 PM<http://github.com/pulumi/<repo>|github.com/pulumi/<repo>>
in some places, but not all places, so i wasnt sure if there was a reason for that (like installing the provider as a user later) or if the repo should plan on landing in the pulumi space for ease of use