colossal-ram-8948201/16/2020, 2:07 PM
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
that would explain this. In which scenarios are these bots active? Thanks.
white-balloon-20501/16/2020, 5:28 PM
colossal-ram-8948201/16/2020, 9:29 PM
) and so the bot does not comment.
# Missing secret tokens -- possibly due to a forked PR -- skipping
white-balloon-20501/16/2020, 10:28 PM