{"push_id":1012486063,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"38de84cbb3df13d2b21ee3e1580952db91361917","before":"949d7ea90b31aff67441c2a489edda7f713d3422","commits":[{"sha":"38de84cbb3df13d2b21ee3e1580952db91361917","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Porting to Idris 0.10.2.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/38de84cbb3df13d2b21ee3e1580952db91361917"}]}