Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Discard all of .github in distributions
Discard the entire .github directory, not just .github/workflows, from distributions so that those files don't propagate into core where they are useless.
- Loading branch information