RetroSearch Browse

Sat Apr 7 14:45:02 CEST 2012 · https://mail.python.org/pipermail/python-dev/2012-April/118592.html

On Sat, 07 Apr 2012 15:15:00 +0300, Andrew Svetlov <andrew.svetlov at gmail.com> wrote:
> Thank you. That works. Is there way to delete unused repo?

This is what I've heard:

If a repo isn't used (at all) it eventually gets deleted automatically.
Otherwise, you have to ask.  Probably python-committers is the best
place for a delete request.  If this becomes a burden at some point,
someone will figure out a secure way to automate it...security is the
reason it isn't automated now.

--David

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2012-April/118592.html below:

Add displayof parameter to tkinter font.