{"push_id":538540235,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a5c98109a64f934711edb36c73b6712d5a59cc7a","before":"da800f00af3dce9b20906a7d6029e9c359bcc3c1","commits":[{"sha":"a5c98109a64f934711edb36c73b6712d5a59cc7a","author":{"email":"46f1a0bd5592a2f9244ca321b129902a06b53e03@woutergeraedts.nl","name":"Wouter Geraedts"},"message":"proj2/report: finished ex 4.","distinct":true,"url":"https://api.github.com/repos/Wassasin/automatedreasoning/commits/a5c98109a64f934711edb36c73b6712d5a59cc7a"}]}