GitHub IssuesEvent at 2014-07-30 20:25:22
Repository: Idris-dev
Actor: puffnfresh
Payload: action: opened
issue: 39133243
number: 1445