GitHub IssuesEvent at 2014-11-18 11:51:52
Repository: HoTT
Actor: mikeshulman
Payload: action: closed
issue: 48935523
number: 616