PEAR git hosting

Hosting of pear, pear2, peardoc, pearweb and pyrus git repositories on php.net systems.

• Hosting: git.php.net or subdomain?
• Commit mail setup/configuration
• Mirroring to/from github
• Howto merge pull requests from github
• Hook setup

• git.php.net hosting is on y3.php.net
• gitolite is used for karma- and repository management

• New users register at http://www.php.net/git-php.php
• User approval:

• SSH Keys are managed on https://main.php.net/manage/users.php

• Permissions = Karma
• Git Karma management via https://github.com/php/karma
• Which PEAR people have access to karma.git?

• gitfaq
• gitworkflow
• DVCS RFC