{"push_id":603425819,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b672a327b55b62f19bf967138af975c754a01284","before":"823aafadcabaec89a7289adceb44171aaae3db9a","commits":[{"sha":"b672a327b55b62f19bf967138af975c754a01284","author":{"email":"e792a3753d9a02701cd15c5bace05b0eccfd8b19@pik-potsdam.de","name":"Nicola Botta"},"message":"Completed proof of |sigmaIsoLemma|.","distinct":true,"url":"https://api.github.com/repos/nicolabotta/SeqDecProbs/commits/b672a327b55b62f19bf967138af975c754a01284"}]}