{"push_id":688159882,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"db75ee69d816a6a0c3b6e0016157268a517c7bec","before":"dc7980b0e17783fcd268047ae7508c4a753d8840","commits":[{"sha":"71dec800cc18969f5c68dafdf7c907b08c9fae69","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Type checks with Idirs 0.9.18.1-git:84bca25.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/71dec800cc18969f5c68dafdf7c907b08c9fae69"},{"sha":"db75ee69d816a6a0c3b6e0016157268a517c7bec","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Cleanup.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/db75ee69d816a6a0c3b6e0016157268a517c7bec"}]}