[python-committers] Commit access to PEPs for Ben Hoyt

Hi,

Ben Hoyt (benhoyt@gmail.com) is working on the os.scandir() PEP 471: http://legacy.python.org/dev/peps/pep-0471/

Currently, he send me the PEP text and I update the repository. Would it be possible to give him access to the repository directly? (only to the peps reposistory)

Victor