{"push_id":846300658,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"82b728cf7365709d45609b690732808ff386b69e","before":"23725cf6503f13912e4135f6b53857666a0755e6","commits":[{"sha":"82b728cf7365709d45609b690732808ff386b69e","author":{"email":"bce70db1fc2f0d59ada568214c633fc468ad753e@gmail.com","name":"Darin Morrison"},"message":"Renaming; formatting","distinct":true,"url":"https://api.github.com/repos/freebroccolo/agda-plots/commits/82b728cf7365709d45609b690732808ff386b69e"}]}