GitHub IssueCommentEvent at 2014-09-09 17:06:42
Repository: HoTT
Actor: mikeshulman
Payload: issue_id: 42273294
comment_id: 55002685