{"push_id":584077277,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"feab39aebc93d88d1b0e01eee2dab9c3ae98d445","before":"3eaa27eeaee0159d31196a8e4371ec98d1d92316","commits":[{"sha":"656d85182a55e45f382179ef1277ace9668eecca","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"pulled newest minisat, made it right learnt to file","distinct":true,"url":"https://api.github.com/repos/dselsam/mlsat/commits/656d85182a55e45f382179ef1277ace9668eecca"},{"sha":"feab39aebc93d88d1b0e01eee2dab9c3ae98d445","author":{"email":"05c7c2712eab81287658c607466a3eb2b59dcd80@gmail.com","name":"Daniel Selsam"},"message":"adding minisat","distinct":true,"url":"https://api.github.com/repos/dselsam/mlsat/commits/feab39aebc93d88d1b0e01eee2dab9c3ae98d445"}]}