Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove the GHA CI that files translation-needed issues
As visible in #871, Penny is working correctly to take over this responsibility of GHA, so now we can remove that GHA CI.
- Loading branch information