https://pulumi.com logo
#getting-started
Title
# getting-started
s

square-vr-68220

03/12/2024, 7:47 AM
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!
l

limited-rainbow-51650

03/13/2024, 12:40 PM
@square-vr-68220 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.