{"push_id":669724136,"size":1,"distinct_size":1,"ref":"refs/heads/issue/2302","head":"ec83cb2a3de63cf9f8fd88bbd99e8fbdcfd2e2f6","before":"9d295be047b840120255610b0af44efe200bce84","commits":[{"sha":"ec83cb2a3de63cf9f8fd88bbd99e8fbdcfd2e2f6","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@davidchristiansen.dk","name":"David Raymond Christiansen"},"message":"Fix Haddock parse error","distinct":true,"url":"https://api.github.com/repos/david-christiansen/Idris-dev/commits/ec83cb2a3de63cf9f8fd88bbd99e8fbdcfd2e2f6"}]}