[python-committers] Commit rights for Petri?