PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
Even though commits aren't the only way one can contribute, most often the most active contributors are the ones with the most commits. Thus I would argue that we can scrap both lists and only link to the contributor list on GitHub.
Alternatively, we could have a top 10 contributors list, since this wouldn't change as often.
In any case I propose to have only one list and not two.
After editing https://github.com/phpmd/phpmd/blob/2.6.0/AUTHORS.rst I noticed that it and the People behind page are totally outdated.
Even though commits aren't the only way one can contribute, most often the most active contributors are the ones with the most commits. Thus I would argue that we can scrap both lists and only link to the contributor list on GitHub.
Alternatively, we could have a top 10 contributors list, since this wouldn't change as often.
In any case I propose to have only one list and not two.