{"push_id":764933373,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"61ab5b89d5962f0841270adae367d937cac82a2c","before":"9b45768de2209d75d53b795519a86e36611a77e9","commits":[{"sha":"9b69b594bf79c062c0b01ed2b4cfad2afe73abac","author":{"email":"f42196a13c804d084bd36ad40abb8e97e850212d@users.noreply.github.com","name":"Jonathan Sterling"},"message":"Merge pull request #202 from jozefg/master\n\nAdded a few missing tactics to listOfTactics","distinct":true,"url":"https://api.github.com/repos/jozefg/JonPRL/commits/9b69b594bf79c062c0b01ed2b4cfad2afe73abac"},{"sha":"61ab5b89d5962f0841270adae367d937cac82a2c","author":{"email":"db979e503176353f6881b96ab6b0a33bdf7f3401@gmail.com","name":"Danny Gratzer"},"message":"Added proof of Russell's paradox to examples/tests","distinct":true,"url":"https://api.github.com/repos/jozefg/JonPRL/commits/61ab5b89d5962f0841270adae367d937cac82a2c"}]}