/
github-name-map
26 lines (26 loc) · 1.28 KB
/
github-name-map
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
[ ("aristidb", ["Aristid Breitkreuz"])
, ("arkeet", ["Adrian Keet"])
, ("byorgey", ["Brent Yorgey"])
, ("cartazio", ["Carter Tazio Schonwald"])
, ("dag", ["Dag Odenhall"])
, ("danr", ["Dan Rosén"])
, ("ehird", ["Elliott Hird"])
, ("ekmett", ["Edward A. Kmett", "Edward Kmett"])
, ("glguy", ["Eric Mertens"])
, ("ion1", ["Johan Kiviniemi"])
, ("liyang", ["Liyang HU"])
, ("mgsloan", ["mgsloan", "Michael Sloan"])
, ("michaelt", ["Michael Thompson"])
, ("mvv", ["Mikhail Vorozhtsov"])
, ("nandykins", ["nand"])
, ("ocharles", ["Oliver Charles"])
, ("Peaker", ["Eyal Lotem"])
, ("pthariensflame", ["Alexander Altman"])
, ("shachaf", ["shachaf", "Shachaf Ben-Kiki"])
, ("sol", ["Simon Hengel"])
, ("startling", ["startling"])
, ("supki", ["Matvey Aksenov"])
, ("Taneb", ["Taneb"])
, ("thoughtpolice", ["Austin Seipp"])
, ("yairchu", ["Yair Chuchem"])
]