the place i checked was the user list at the librarian site.
but i didn't think to check for actual commits, i just asumed the list of users would be for the pike repository only.
so you are right, only bortas.org in the pike repository: http://pike-librarian.lysator.liu.se/index.xml?m=pike.git&starttag=&...
turns out i messed up the list in the editor too,
below are some real name duplicates.
however, i don't think they are worth fixing. they are all changes from one address to another, and with git more such changes will eventually happen anyways. people just need to pay attention to what name/address they set in their local git repository.
Artur Skawina (changed from o2.pl to gmail.com) http://pike-librarian.lysator.liu.se/index.xml?checkins=915070e069e605c8fb7a... http://pike-librarian.lysator.liu.se/index.xml?checkins=556e6b301b76fd25d2f0... btw: it seems like this link hangs the librarian, or at least ever since clicking this link, the librarian got very slow :-(
Marcus Comstedt (latest commit from mc.pp.se, all others from pike.ida.liu.se) http://pike-librarian.lysator.liu.se/index.xml?checkins=d3f9dc694fc4d59babef... http://pike-librarian.lysator.liu.se/index.xml?m=pike.git&starttag=&... (the permalink for this one is way to long)
Per Hedbor (changed from pike.ida.liu.se to opera.com) http://pike-librarian.lysator.liu.se/index.xml?checkins=ec431f4edae907a8d54d... http://pike-librarian.lysator.liu.se/index.xml?m=pike.git&starttag=&...
Stefan Wallström (changed from pike.ida.liu.se to roxen.com) http://pike-librarian.lysator.liu.se/index.xml?m=pike.git&starttag=&... http://pike-librarian.lysator.liu.se/index.xml?checkins=daa35e8c6429932a0788...
greetings, martin.