git accounts without realname ?

[Christian Persch <chpe gnome org>]

Hi;

lately I've been noticing some (l10n) commits from people whose
accounts aparrently have no realname set (as seen in the committer
line in git.gnome.org/browse/<module>), e.g.

http://git.gnome.org/browse/vte/commit/?id=8bf969a27069fbc0c71f0bb3fcb176456b5e32ba
from user "drtv <...>" 
http://git.gnome.org/browse/glib/commit/?id=94e34d8a12e94c6aa2d2fcc8440439de5671f6f2
from user "noch <...>".

I thought we had a policy that every account _has to have_ a realname
set? Can this be corrected?

Also, as also seen in these same commits, the author line doesn't
contain a realname either... but I guess that can't be enforced at
commit time? (But it should be in our policy that every commit's
author line has a realname too, right?)

Regards,
	Christian