A web-based ranking built with contribution statistics from a GitHub repository