If there is one, the list should be as exhaustive as possible like the [Credits section of Eigen](http://eigen.tuxfamily.org/index.php?title=Main_Page). Never leave some in while ignoring others. People will feel unfair. It is better to create a tool to automatically list all the authors of the merged commits to avoid making mistakes.