Hi, I'm using jenkins in a corporate setting to (also) build floss projects fromgit repos, and as a result, the jenkins user list show many git committers which are NOT in the companys LDAP, but whose are merely known to jenkins because their commit was the one which was build.
Is there a way to hide those users or to indicate that those are not ldap users? Just showing them with a different icon would help, though I'd prefer to hide them complete in the http://$jenkins(:$port)/people URL. Any ideas or pointers? cheers, Holger
