{"push_id":685099491,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"41060e0f47858abf13bb1e43dbe4fee737bd61e1","before":"5df064e663c3316ab0414c2b336fe154a8e5556c","commits":[{"sha":"5e5919450ad5c35fe89bd93595ec2e5e4fe7f7f8","author":{"email":"b726bddc6978f67ed274a92349de24caa064956e@gmail.com","name":"JamesPane-Joyce"},"message":"Merge pull request #1 from RairServer/master\n\nFixing mac issue","distinct":true,"url":"https://api.github.com/repos/RairServer/Talos/commits/5e5919450ad5c35fe89bd93595ec2e5e4fe7f7f8"},{"sha":"46c0b877e998504891367514c13130295529591f","author":{"email":"b726bddc6978f67ed274a92349de24caa064956e@gmail.com","name":"JamesPane-Joyce"},"message":"Now accepts more rules into the prover","distinct":true,"url":"https://api.github.com/repos/RairServer/Talos/commits/46c0b877e998504891367514c13130295529591f"},{"sha":"3249f8e39f3b08f9b019f18d14f1c191d6dfd290","author":{"email":"b726bddc6978f67ed274a92349de24caa064956e@gmail.com","name":"JamesPane-Joyce"},"message":"Prover can now accept more logical rules, rewriting this was not fun!","distinct":true,"url":"https://api.github.com/repos/RairServer/Talos/commits/3249f8e39f3b08f9b019f18d14f1c191d6dfd290"},{"sha":"c2df5e6f357897f94f7e2b27bc3ce388321f7686","author":{"email":"73321da2a8c4ccdc74e5eab7b9dcc5cb1d8b7541@prover.cogsci.rpi.edu","name":"RairLab"},"message":"fixed an issue with sorts that aren't","distinct":true,"url":"https://api.github.com/repos/RairServer/Talos/commits/c2df5e6f357897f94f7e2b27bc3ce388321f7686"},{"sha":"41060e0f47858abf13bb1e43dbe4fee737bd61e1","author":{"email":"73321da2a8c4ccdc74e5eab7b9dcc5cb1d8b7541@prover.cogsci.rpi.edu","name":"RairLab"},"message":"i hope this works\nMerge remote-tracking branch 'upstream/master'","distinct":true,"url":"https://api.github.com/repos/RairServer/Talos/commits/41060e0f47858abf13bb1e43dbe4fee737bd61e1"}]}