I was only suggesting it as a nicity, if people are happy with the login name alone.
What about "Real Name <[EMAIL PROTECTED]>"? The overseers have the mapping, or you can sort of guess it from the names in the ChangeLog. This has to be decided before the first push, so it's kind of urgent to decide it.
Paolo
