News for hackers. Stuff that matters.

A comment on We lost 54k GitHub stars. Parent comment

Re:We lost 54k GitHub stars by ncmncm on Thursday April 14, 2022 @06:53PM (#31034447)
Or, just leave everything in place, always, and have the other code ignore the annotations for exactly as long as the repo is private.
[ Parent | on HN ]
Re:We lost 54k GitHub stars by munk-a on Thursday April 14, 2022 @07:00PM (#31034535)
Just FYI - you can star private repositories so it's not quite that simple. You'd need to determine if the starring aligns with permissions... but I think it's still relatively reasonable.
[ Parent | on HN ]
Re:We lost 54k GitHub stars by ncmncm on Thursday April 14, 2022 @07:27PM (#31034796)
Ok, then have a separate button: "Delete all 54,000 stars on this repo", completely independent of public/private.
[ Parent | on HN ]