...
[12:07:48 CDT(-0500)] <athena> should he email infrastructure?
[12:18:14 CDT(-0500)] <holdorph> whats his github userid?
[12:18:43 CDT(-0500)] <holdorph> I might be able to add him
[12:18:56 CDT(-0500)] <athena> hm, i'll see if i can figure it out