13 ms·
> github has a huge warning saying to never use pull_request_target to run user code This is an area where documentation is necessary but not sufficient. Gith
by riknos314 5mo ago
> github has a huge warning saying to never use pull_request_target to run user code
This 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.
- hombre_fatal 5mo ago"pull_request_target" vs "pull_request" is also bad naming. At least give it a dangerous name so people know there's a dangerous quirk to it when reading their config.