Official GCC git repository

[Samuel Tardieu]

>>>>> "Paolo" == Paolo Bonzini <bonzini@gnu.org> writes:

>> I was only suggesting it as a nicity, if people are happy with the
>> login name alone.

Paolo> What about "Real Name <login@gcc.gnu.org>"?  The overseers have
Paolo> the mapping, or you can sort of guess it from the names in the
Paolo> ChangeLog. This has to be decided before the first push, so
Paolo> it's kind of urgent to decide it.

I also think adding the Real Name is nice.

Maybe we should also consider adding the login as an additional field
in the MAINTAINERS file, as AFAIK every MAINTAINERS as a @gcc.gnu.org
address.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/