Re: [python-committers] Commit rights for Petri?