yes, they used pull_request_target for a benchmarking suite. github has a huge warning saying to never use pull_request_target to run user code, but this is just going to keep happening
reply> github has a huge warning saying to never use pull_request_target to run user code
replyThis is an area where documentation is necessary but not sufficient. Github needs to add some form of automated screening mechanism to either prevent this usage, or at the very least quickly flag usages that might be dangerous.
"pull_request_target" vs "pull_request" is also bad naming. At least give it a dangerous name.
replyAnd a labeling action which requires `pull_request_target`: https://github.com/actions/labeler#create-workflow
replyThese types of features are not worth it and need to be removed from the marketplace.