Replace IDs with real names on Github.
Because chrome's idiotic URL matching does not allow for github.domain.corp
type patterns. So the proper checking is done in js after page is loaded & idle.
Replace IDs with real names on Github.
Because chrome's idiotic URL matching does not allow for github.domain.corp
type patterns. So the proper checking is done in js after page is loaded & idle.