Closed AlexSkrypnyk closed 1 month ago
I'm very happy to bring in better labels, but since this is just a prototype and is likely to eventually migrate to GitLab (pending governance decisions that are out of my hands), I'm not sure it's gonna make a whole lot of difference. But by all means, if you have some label ideas, please mention them here.
What is a "GHA"?
Gha = github actions
With the repo popularity ramping up, I was wondering if there can be improvements done to this repo management: