{"push_id":1067860500,"size":1,"distinct_size":1,"ref":"refs/heads/OrderingPositiveAtoms","head":"ebf81f8979ad126cc4bb958b3731f845230051f7","before":"154637598cb6e595a3f8e43bbdb6c9a9c5af0110","commits":[{"sha":"ebf81f8979ad126cc4bb958b3731f845230051f7","author":{"email":"32ced86bc2e89386ef8492b71f241549bd2edbd2@gmail.com","name":"jessica"},"message":"Changed predicate size check int each ordering criterion","distinct":true,"url":"https://api.github.com/repos/veltri/DLV2/commits/ebf81f8979ad126cc4bb958b3731f845230051f7"}]}