Barbara Pewterschmidt is a project manager overseeing a GitHub repository for a software development project. She wants to acknowledge and recognize the top contributors to the project. Where can Barbara view the top 100 contributors to the repository, excluding merge commits and empty commits?