Skip to content

ci: Fix permissions for external contributors PRs (for real?)#12776

Merged
mydea merged 2 commits intodevelopfrom
fn/really-fix-external-contributors
Jul 5, 2024
Merged

ci: Fix permissions for external contributors PRs (for real?)#12776
mydea merged 2 commits intodevelopfrom
fn/really-fix-external-contributors

Commits

Commits on Jul 5, 2024