Pin PR Labeler

[mrocklin]

No description provided.

[rcomer]

From the GHA docs

This event runs in the context of the base of the pull request, rather than in the context of the merge commit, as the pull_request event does. This prevents execution of unsafe code from the head of the pull request that could alter your repository or steal any secrets you use in your workflow.

If I read that right, the change needs to be merged before you can find out whether it helped.

[mrocklin]

That did it. Thanks Ruth!

…

On Tue, Dec 5, 2023 at 2:48 PM Ruth Comer ***@***.***> wrote: From the GHA docs <https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target> This event runs in the context of the base of the pull request, rather than in the context of the merge commit, as the pull_request event does. This prevents execution of unsafe code from the head of the pull request that could alter your repository or steal any secrets you use in your workflow. If I read that right, the change needs to be merged before you can find out whether it helped. — Reply to this email directly, view it on GitHub <#10675 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACKZTCDSN4CHOTBAGRWQY3YH6QCRAVCNFSM6AAAAABAILAI7SVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNBRG42TGMZSGE> . You are receiving this because you authored the thread.Message ID: ***@***.***>