On Sat, 12 Sep 2015 21:12:25 +0200
Michał Górny <mgo...@gentoo.org> wrote:

> 1. Many of the Gentoo developers have different nicknames on GitHub.
> Some developers don't even set their real names which makes them even
> harder to find.

This isn't directly related to your proposal, but may I jump in here:
Wouldn't it be in general valuable to track the connection gentoo dev
handle <-> github handle in a machine readable and generic way?

Should / could we add that as an ldap attribute or something?

-- 
Hanno Böck
http://hboeck.de/

mail/jabber: ha...@hboeck.de
GPG: BBB51E42

Attachment: pgpoomRUUh5oh.pgp
Description: OpenPGP digital signature

Reply via email to