Hi there! I prepared some changes [1], but I request comments.
I thought it would be useful, but I'm not sure if this is necessary. Since PHP migrated to GitHub, karma is outdated. These changes solve the problem of linking the PHP profile and the GitHub profile. Thus, on the user's page on people.php.net, we'll be able to display both the user's GitHub profile and his teams (or repositories where he has to write access) instead of the karma list. But, perhaps, both the master.php.net and the people.php.net may also be already unnecessary and all the management of users, rights, repositories, and other things will be through GitHub, then there is no point in PR. What do you think about it? [1] https://github.com/php/web-master/compare/master...saundefined:github?expand=1 — wbr, Sergey Panteleev
