Gitrepos is a web application to manage Git repositories and their contributors