[Python-Dev] Google Groups Mirror

[anatoly techtonik]

What is the point in maintaining archive listed in
http://mail.python.org/mailman/listinfo/python-dev if it is not
searchable?
Recently I needed to find old thread about adding tags to roundup but couldn't.

GMane archive doesn't search -
http://news.gmane.org/navbar.php?group=gmane.comp.python.devel&query=roundup+tags
and Google Group archive is private http://groups.google.com/group/python-dev

How about opening an official read-only Google Group mirror? Then it
will be possible to subscribe to notifications to just interesting
threads.
-- 
anatoly t.