Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* refs/pull/60317/head: .github: detect GPL license in PRs Reviewed-by: Patrick Donnelly <[email protected]>
- Loading branch information