Difference between revisions of "People"
(Mapping of github handles to real names) |
|||
| Line 8: | Line 8: | ||
== How to add a Person == | == How to add a Person == | ||
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 github handles to real names == | ||
| + | |||
| + | {| class=wikitable | ||
| + | !Github handle | ||
| + | !Real name | ||
| + | |- | ||
| + | |9rnsr||Hara Kenji | ||
| + | |- | ||
| + | |burner||Robert Schadek | ||
| + | |- | ||
| + | |quickfur||H. S. Teoh | ||
| + | |} | ||
Revision as of 21:21, 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 |
|---|---|
| 9rnsr | Hara Kenji |
| burner | Robert Schadek |
| quickfur | H. S. Teoh |
