GitHub IssueCommentEvent at 2014-10-05 04:28:34
Repository: HoTT
Actor: JasonGross
Payload: issue_id: 44194580
comment_id: 57926357