{"push_id":1010892883,"size":1,"distinct_size":1,"ref":"refs/heads/eet","head":"1d2c852690bf588a35f6a77821ae535abb2ed301","before":"2f2dc7516ba18011ef61802d9b4ee8f3fcb6569e","commits":[{"sha":"1d2c852690bf588a35f6a77821ae535abb2ed301","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"Splitting: use literal assumptions, without reordering.","distinct":true,"url":"https://api.github.com/repos/gebner/gapt/commits/1d2c852690bf588a35f6a77821ae535abb2ed301"}]}