What value (if any) is there in having made a GitHub repo with 1k stars?github.com/guardian3 pointsmbon22 years ago