{"push_id":1029970167,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aa508571ee9f1c38ae8ded0c28dfcced0860f0de","before":"d45b037c65bda1b39349b1c8fbe6225def8ffe69","commits":[{"sha":"aa508571ee9f1c38ae8ded0c28dfcced0860f0de","author":{"email":"60c6d277a8bd81de7fdde19201bf9c58a3df08f4@loiko.se","name":"Alex Loiko"},"message":"More cases in preservation proof.","distinct":true,"url":"https://api.github.com/repos/aleloi/lacasa-mechanized/commits/aa508571ee9f1c38ae8ded0c28dfcced0860f0de"}]}