And another that it was made public again. Or neither, and just not delete shit that there was no need to delete.

My point is that IF they delete everything, they should send a notification to the affected users. When the repository is made public again, then since they deleted the star relation it’s not possible to send another notification.

Unless, of course, if they just changed the column setting from "starred" to "was starred". As they could do. If they cared.

That’s why I wrote “IF they delete everything”. You’re saying they shouldn’t delete everything, which I agree with, but that’s not the case I was addressing.

OK, sorry.

The user said "delete this stuff". GitHub asked, "Are your sure?" User: "Yes".

Seems like a good reason to delete it.

No. The user said, "make it private". That has nothing to do with deleting anything.