No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

Hi all, I'm working in a 3rd party company and we are trying to understand if we have any customers that use Pulumi. I tried looking for information regarding the user-agent header. In case requests are sent from Pulumi with a distinct user-agent header, it will be very easy for me to detect these customers. Does Pulumi have a default user agent header? I couldn't find any specific information in the documentation... Thanks!

<@U06NZ47UHEZ> if you can tell me which service that is you can monitor, we can look in our provider list if our provider has a Pulumi specific `User-Agent` set.