{"push_id":857265247,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"913cddbbfd94cae59fcab778592d774b8ab175b0","before":"eb99603f13fa778cb6cea58282c9377a7af717aa","commits":[{"sha":"913cddbbfd94cae59fcab778592d774b8ab175b0","author":{"email":"435e2a4f8ba8cc6bf7a8685499cd59003323ddf3@st-andrews.ac.uk","name":"Edwin Brady"},"message":"Version increment","distinct":true,"url":"https://api.github.com/repos/idris-lang/Idris-dev/commits/913cddbbfd94cae59fcab778592d774b8ab175b0"}]}