News for hackers. Stuff that matters.

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

Re:We lost 54k GitHub stars by Johnny555 on Thursday April 14, 2022 @06:48PM (#31034395)
Or, knowing that it's the only way they have to recover from this situation, they could make the process easier to do and price it out as a service.
[ Parent | on HN ]
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 ]