Overview
Replace IDs with real names on Github
This is a great and fantastic extension. It replaces user IDs, on Github and GH Enterprise, with the actual real names (from user's profiles). So when you're looking at "issues" or "PR"s, you don't have to wonder anymore, who is `u123456`, because you will see his real name is "Angus MacCrockodile"!
Details
- Version1.2.0
- UpdatedMarch 14, 2023
- Offered byPerfect Things
- Size23.35KiB
- LanguagesEnglish (UK)
- Developer
Email
info@perfectthings.dev - Non-traderThis developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.
Privacy
The developer has disclosed that it will not collect or use your data.
This developer declares that your data is
- Not being sold to third parties, outside of the approved use cases
- Not being used or transferred for purposes that are unrelated to the item's core functionality
- Not being used or transferred to determine creditworthiness or for lending purposes