This message was deleted.
# general
s
This message was deleted.
l
See the
diff
option under `Extra Options`: https://github.com/pulumi/actions#extra-options
b
this is with
diff: true
. It doesnt seem like the github app uses the diff.
l
Can you file an issue in the repo I linked above?
b
Sure. If that is the place for the pulumi github app..?
l
No, but given they work hand-in-hand, our actions repo is the best place to file the issue publicly.
👍 1
b