GitHub Enterprise User ID to Name Replacement GitHub Enterprise User ID to Name Replacement

Developer Tools
Version: 1.1
Last Update: 2017-05-19

Rating

0 ratings
5
4
3
2
1

Total Installs

11

User Reviews

Related Extensions

Name Category Rating Rating Count Installs
extension logo Github Code Outline Productivity
(1) 51
extension logo Taboverflow Productivity
(10) 35
extension logo LGTM Productivity
(2) 46
extension logo GitHub Projects Plus Developer Tools
(0) 6
extension logo open modal github projects issue Productivity
(0) 30
extension logo GitHub Issue Badges (for Enterprise) Developer Tools
(0) 27
extension logo rawkit Developer Tools
(0) 170
extension logo eBay™ Negative & Neutral Feedback Viewer Shopping
(1) 64
extension logo Azure DevOps branch naming Productivity
(0) 99
extension logo Tag AWS VPC/Role Developer Tools
(0) 32
extension logo AWS EC2 Price Assistant Developer Tools
(0) 73
extension logo octofiles Developer Tools
(0) 9
extension logo idpawssamlinterceptor Developer Tools
(1) 171
extension logo json-or-cobol-to-md-schema Developer Tools
(0) 38
extension logo GitHub Points Productivity
(0) 51
extension logo rappidjs-devtools Developer Tools
(0) 68
extension logo The-M-Project Inspector Developer Tools
(3) 112
extension logo Diff Navigator for GitHub Developer Tools
(3) 210
extension logo GitHub Real Names Developer Tools
(10) 620
extension logo GitHub File Icons Developer Tools
(7) 3,000+
extension logo GitHub submodule links Developer Tools
(2) 170
extension logo Atma.js DevTool Developer Tools
(0) 134
extension logo Lavaca Developer Tools Developer Tools
(0) 128
extension logo OctoPermalinker Developer Tools
(1) 194