https://pulumi.com logo
#general
Title
# general
s

square-vr-68220

03/13/2024, 9:32 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!