GitHub Real Names
Developer Tools
Version: 1.3.1
Last Update: 2020-08-18
User Reviews
Ekaterina Semenova
2022-05-12
doesen't work(( |
Dominik Heidler
2018-02-21
doesn't work |
Milan Trenovszki
2017-10-04
Doesn't work. |
Anuj Biyani
2016-03-01
Great extension. Maintainer also promptly merged a PR after it was opened. |
Jeremiah Senkpiel
2015-03-13
Excellent extension, as someone who works in open source with a lot of people on GitHub, this really helps to bring personality back to everyone. :) |
Simon Elliston Ball
2014-08-06
Really helpful, especially when you've got a lot of github users in your organization and you want to see who is who. |
James Moore
2014-08-06
Awesome for use within companies when people have all sorts of random usernames! |
|
Ekaterina Semenova
2022-05-12
doesn't work |
Ekaterina Semenova
2022-05-12
doesn't work |
Dominik Heidler
2018-02-21
doesn't work |
