← Back to context

Comment by layer8

2 years ago

> I'll be calling "private" repos "unlisted"

The same for “deleted” repos.

"deleted" is just a fancy word "inaccessible to the user"

  • No, it really isn’t. Anyone who uses that word that way is just factually incorrect, and probably pretty irresponsible depending on the context. Software should not tell lies.

    • > delete: remove or obliterate (written or printed matter), especially by drawing a line through it or marking it with a delete sign

      Which is, indeed, what every modern database does.

      17 replies →

  • No, deleted is a word for deleted. But we started saying things were "deleted", while our eyes flicked to the stack of backup tapes in the corner, acknowledging the white lie, because really deleting things conflicted with other priorities and was hard. And we left it there, until privacy regulations came along and it turned out not using the normal definition of deleted could get you sued. So IMO Github is wide open to paying damages to the first person able to demonstrate them.

  • It's tolerated for there to be temporary inaccessible copies sticking around when something is deleted.

    What GitHub is doing here is neither temporary nor inaccessible.

  • "Bought" is just a fancy word for "granted a license for usage, subject to terms and conditions, which may be revoked at any time, for any reason, without any warning"