colossal-ram-89482
01/16/2020, 2:07 PMpulumi/docs
repo. The github-actions and pulumi bots seem to be active on some pull requests, but not all. For example, they did not comment on my recent PR (https://github.com/pulumi/docs/pull/2247). I don't see anything obvious in .github
that would explain this. In which scenarios are these bots active? Thanks.white-balloon-205
colossal-ram-89482
01/16/2020, 9:29 PM# Missing secret tokens -- possibly due to a forked PR -- skipping
) and so the bot does not comment.white-balloon-205