{"push_id":707116799,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"a62ce3aeea96144de98865df93b9f50c6f61705c","before":"0dd527858aa12e19a33d51fb8ac0bbd92c55ebd9","commits":[{"sha":"c95ad851447a0b11a48d5d23e93a036264421591","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"Fix travis","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/c95ad851447a0b11a48d5d23e93a036264421591"},{"sha":"edf6f4a5dddcf5991915f627966fac7b68230ba2","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"Intro to core.logic","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/edf6f4a5dddcf5991915f627966fac7b68230ba2"},{"sha":"ddd468cbd23f7925d3c4d45017f8cd98556f0c4b","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"bench code","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/ddd468cbd23f7925d3c4d45017f8cd98556f0c4b"},{"sha":"b0892c73642dc0031acd0b5dca5186afdeb256f2","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"refactor combinatorics solution","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/b0892c73642dc0031acd0b5dca5186afdeb256f2"},{"sha":"dccfdc72bb5ab084d9ade3e5872e714146dcdf5f","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"refactor","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/dccfdc72bb5ab084d9ade3e5872e714146dcdf5f"},{"sha":"5c803685426dda7385f56095617ab7aac39e79fb","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"More intro","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/5c803685426dda7385f56095617ab7aac39e79fb"},{"sha":"a62ce3aeea96144de98865df93b9f50c6f61705c","author":{"email":"cb3f7703e7c9d495a44b31eba0e22d29a598011d@gmail.com","name":"Nicolas Berger"},"message":"Simpler server_cons, without id ordering, has permutations","distinct":true,"url":"https://api.github.com/repos/nberger/server-cons/commits/a62ce3aeea96144de98865df93b9f50c6f61705c"}]}