Change Details

Hello, as the only one maintainer of following tools I would like to request deleting of tools.proxies and tools.statistics. I planned to publish something on that locations but I forgotted what and now I currently have no plan with them. I don't want to keep them and I want to let all other Toolforge users to claim that locations and use them as they want to. I do not need anything in the home directory, everything can be safely deleted. I also do not have any tool-related databases. Best, Martin Urbanec alias Urbanecm

Hello, as the only one maintainer of following tools I would like to request deleting of tools.statistics. I do not need anything in the home directory, everything can be safely deleted. I also do not have any tool-related databases. Best, Martin Urbanec alias Urbanecm

Hello, as the only one maintainer of following tools I would like to request deleting of tools.proxies and tools.statistics. I planned to publish something on that locations but I forgotted what and now I currently have no plan with them. I don't want to keep them and I want to let all other Toolforge users to claim that locations and use them as they want to. I do not need anything in the home directory, everything can be safely deleted. I also do not have any tool-related databases. Best, Martin Urbanec alias Urbanecm