Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[chore] remove unused github script (#28656)
git grep points out that this script is not used anywhere.
- Loading branch information