Add mail aliases for Carl, Colin, Janek, and Pál, for the sake of git shortlog

Add mail aliases for Carl, Colin, Janek, and Pál, for the sake of git shortlog

[Graham Percival, 2012-05-12 17:08:25]

LGTM, I think this can be pushed immediately to staging.

[dak, 2012-05-12 17:23:40]

On 2012/05/12 17:08:25, Graham Percival wrote:
> LGTM, I think this can be pushed immediately to staging.

Willdo.

[janek, 2012-05-13 07:13:08]

one concern about Pal.

http://codereview.appspot.com/6206057/diff/1/.mailmap
File .mailmap (right):

http://codereview.appspot.com/6206057/diff/1/.mailmap#newcode5
.mailmap:5: Benkő Pál <benko.pal@gmail.com>
It seems that this document is in the format <given name> <surname>, so here it
should be Pál Benkő (unless i'm heavily mistaken).

[dak, 2012-05-13 07:45:51]

http://codereview.appspot.com/6206057/diff/1/.mailmap
File .mailmap (right):

http://codereview.appspot.com/6206057/diff/1/.mailmap#newcode5
.mailmap:5: Benkő Pál <benko.pal@gmail.com>
On 2012/05/13 07:13:08, janek wrote:
> It seems that this document is in the format <given name> <surname>, so here
it
> should be Pál Benkő (unless i'm heavily mistaken).

I'd rather say it is in the format

    full name <mail address>

and Hungarians happen to put the given name last in the full name.  Unless I am
mistaken, this is the same with "Hu Haipeng".

Without a pressing reason to do otherwise, I would tend to keep the names in
their natural order.

[benko.pal, 2012-05-13 07:59:25]

http://codereview.appspot.com/6206057/diff/1/.mailmap
File .mailmap (right):

http://codereview.appspot.com/6206057/diff/1/.mailmap#newcode5
.mailmap:5: Benkő Pál <benko.pal@gmail.com>
On 2012/05/13 07:45:51, dak wrote:
> On 2012/05/13 07:13:08, janek wrote:
> > It seems that this document is in the format <given name> <surname>, so
here
> it
> > should be Pál Benkő (unless i'm heavily mistaken).
> 
> I'd rather say it is in the format
> 
>     full name <mail address>
> 
> and Hungarians happen to put the given name last in the full name.  Unless I
am
> mistaken, this is the same with "Hu Haipeng".
> 
> Without a pressing reason to do otherwise, I would tend to keep the names in
> their natural order.

I don't have a strong preference either way: on one hand I like to find myself
under B rather than P; on the other hand I like people not confusing my given
name and surname.

[dak, 2012-05-13 08:13:35]

On 2012/05/13 07:59:25, benko.pal wrote:

> I don't have a strong preference either way: on one hand I like to find myself
> under B rather than P; on the other hand I like people not confusing my given
> name and surname.

It makes it easier to find your mail address this way.  I don't think that git
ever pulls apart the name by itself, and you are not alone with a
language-dependent order.

It is not untypical for Hungarians to give in to the rest of the world: Erdős
Pál has made most of his headlines as Paul Erdos.

So I might have been more nationalist than you are.  But as I said: it is more
consistent with the mail address.

[janneke_gnu.org, 2012-05-13 13:06:26]

>> It seems that this document is in the format <given name> <surname>,
>> should be Pál Benkő (unless i'm heavily mistaken).
>
> and Hungarians happen to put the given name last in the full name.
> Unless I am mistaken, this is the same with "Hu Haipeng".

Isn't it a convention to use all caps surname/family name for
countries/cultures that have the order reversed, ie, keep
the ordering everyone likes, but signal reversed orderingusing
caps

   Jan Nieuwenhuizen
   HU Haipeng
   BENKO Pal

Jan

-- 
Jan Nieuwenhuizen <janneke@gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar®  http://AvatarAcademy.nl