{"push_id":689683780,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b1af41474d6e3f3e990a481dc3f59abc8f0674a","before":"e2fd393bd0ba1650b60249bb1392c04674069a47","commits":[{"sha":"2b1af41474d6e3f3e990a481dc3f59abc8f0674a","author":{"email":"59d766139e772a031ccdb564257311befb765ddb@gmail.com","name":"osankur"},"message":"first nonworking cpre fixpoint","distinct":true,"url":"https://api.github.com/repos/osankur/nusmv/commits/2b1af41474d6e3f3e990a481dc3f59abc8f0674a"}]}