GitHub Name Changer
ooooorobo
Do you know the GitHub IDs of all your colleagues? Sometimes, it can be more helpful to identify their nicknames rather than their GitHub IDs when reviewing commits. This extension transforms user IDs displayed on the GitHub website into nicknames for a seamless experience.
