GitHub IssuesEvent at 2014-07-24 10:23:45
Repository: Idris-dev
Actor: david-christiansen
Payload: action: opened
issue: 38615547
number: 1423