Recently I wanted to check the list of contributors to an open source repository hosted on GitHub.com, https://github.com/ott-lang/ott/graphs/contributors concretely, to avoid embarrassing myself with a potentially silly question at PLSS.

Turns out that the “Contributors”-view on GitHub.com doesn’t tell you much. Below is an excerpt:

GitHub screenshot from Contributors-UI

They only show the GitHub user-names, which is less than helpful – I have no clue who “bacam” is/could be. Of course GitHub knows, as the image above shows when hovering over the avatar. I guess someone should open a ticket at GitHub HQ…