Difference between revisions of "People"
(→Mapping of github handles to real names) |
m (caps) |
||
| Line 9: | Line 9: | ||
Create a new page with the same name as the person. Add the text <tt><nowiki>{{Person}}</nowiki></tt> to the page. Save. | Create a new page with the same name as the person. Add the text <tt><nowiki>{{Person}}</nowiki></tt> to the page. Save. | ||
| − | == Mapping of | + | == Mapping of Github handles to real names == |
{| class=wikitable | {| class=wikitable | ||
Revision as of 21:29, 10 July 2014
A
B
D
D cont.
H
J
K
M
M cont.
P
R
W
How to add a Person
Create a new page with the same name as the person. Add the text {{Person}} to the page. Save.
Mapping of Github handles to real names
| Github handle | Real name |
|---|---|
| 9il | Ilya Yaroshenko |
| 9rnsr | Hara Kenji |
| andralex | Andrei Alexandrescu |
| burner | Robert Schadek |
| Dicebot | Mihail Strashun (Михаил Страшун) |
| Element-126 | Jean-Loup Tastet |
| ibuclaw | Iain Buclaw |
| klickverbot | David Nadlinger |
| ntrel | Nick Treleaven |
| quickfur | H. S. Teoh |
