I'm not talking about what someone can do from a legal point of view. I'm talking about what the community considers to be good practice. We can decide to be nicer to one another than what is strictly required by the law.
_wb_, I think that's exactly the big disconnect here. While you focus your arguments on what's desirable, most other participants in this discussion are talking about what is legally, technically or otherwise possible.
Look at the situation from the other side. If someone's written and released some software, how "nice" is it if someone else just comes along and assumes control over how that work is distributed?
Let me try a simple statement: "If the repo disallows deleting for any reason, that is a limitation to one of the authors' rights in their work granted by copyright". I'm guessing we can all accept that much as true? I think it's obvious, but I want to be explicit on whether we can agree on the basics and move on.
The thing is, the repo can't just introduce that kind of rule without consulting the authors. The repo now has a license to redistribute; but it would need an
irrevocable license to redistribute. If milkshake/ED/whoever decide to implement this rule, they have to take everybody's software offline (unless it's already under a license which irrevocably permits redistribution, like the GPL), and ask authors for permission to put their work back up for public access under the new repo rules. Any devs who aren't comfortable with such unlimited redistribution will at that point withdraw their work.
I'm not saying your idea is a bad one. I'm saying I'm not going to waste any effort on deciding whether this idea is good or bad, because it clearly isn't practical. There is no way you can end up with the current repo (including all the files it has now) but not allowing maintainers to pull their work. The best case you could hope for is that the current repo shrinks to GPL and similarly-licensed software, and everything else is on a new parallel repo which uses the kind of rules we have right now. Worst case? Shouting matches, pissed-off devs leave the community, and ED gets taken to court for violating someone's copyright because a file on his servers was mistakenly identified as freely redistributable.