{"push_id":766435602,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4ae5bcb174a2028a648d340a4be9ae0d792fe4a6","before":"875a7465c31f948f2fa70e024670d65e49835ac2","commits":[{"sha":"035691d4618d2a6921517afc53f8e4f298581a93","author":{"email":"f42196a13c804d084bd36ad40abb8e97e850212d@users.noreply.github.com","name":"Jonathan Sterling"},"message":"Merge pull request #204 from jozefg/master\n\nAdded bunion-eq-left/right to stdlib/tactics.jonprl","distinct":true,"url":"https://api.github.com/repos/jozefg/JonPRL/commits/035691d4618d2a6921517afc53f8e4f298581a93"},{"sha":"4ae5bcb174a2028a648d340a4be9ae0d792fe4a6","author":{"email":"db979e503176353f6881b96ab6b0a33bdf7f3401@gmail.com","name":"Danny Gratzer"},"message":"Added a tactic to run the registered tactics for a resource","distinct":true,"url":"https://api.github.com/repos/jozefg/JonPRL/commits/4ae5bcb174a2028a648d340a4be9ae0d792fe4a6"}]}