{"push_id":905956004,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5a5ab942680c957b0596e8c7963f137de7be7571","before":"0a19ff2feb17ab52d2cb351c9accd92c7c6a28b4","commits":[{"sha":"a14cba91bd8041e0c56b882d58e5b1e5b119c8be","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Fix package name in binary imports","distinct":true,"url":"https://api.github.com/repos/atomb/rupert/commits/a14cba91bd8041e0c56b882d58e5b1e5b119c8be"},{"sha":"8a7e29f15adb1f3b8548ad42f3a77dc7b126dd82","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Include newline in UNSATISFIABLE output","distinct":true,"url":"https://api.github.com/repos/atomb/rupert/commits/8a7e29f15adb1f3b8548ad42f3a77dc7b126dd82"},{"sha":"5a5ab942680c957b0596e8c7963f137de7be7571","author":{"email":"060233931e29e8c0151c44335c0f404f538c7fe4@gmail.com","name":"Aaron Tomb"},"message":"Rework the approach used by the simple DPLL code\n\nThis now seems to be correct. It's not super fast, but works ok.\n\nNow it's a good baseline against which to compare better things. :)","distinct":true,"url":"https://api.github.com/repos/atomb/rupert/commits/5a5ab942680c957b0596e8c7963f137de7be7571"}]}