Dan Langille wrote in <[email protected]>:
> You are short-cutting the process.  First, mark the port broken after
> one month of it being actually broken.  Did you do that? No.  A few
> months later, mark it deprecated.  Did you do that? No. With those
> steps taken, the port will be garbage collected by the usual process.
> No need for you to delete it like you did.

it's been broken for five months.  who cares?  if the answer is anything
other than "no one", the person who cares can resurrect the port and
maintain it.

otherwise, nothing is lost by deleting a broken port.

we should not let arbitrary rules stand in the way of improving the
ports tree, especially considering the state of ports.

Attachment: signature.asc
Description: PGP signature

Reply via email to