Re: [Python-Dev] PEP: Collecting information about git