{"push_id":896143598,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"00ca425aabe45d3b13fe0d07bc8fe13442285454","before":"1d92ab62bbd755168acf9b27673a1262508cc359","commits":[{"sha":"00ca425aabe45d3b13fe0d07bc8fe13442285454","author":{"email":"aa743a0aaec8f7d7a1f01442503957f4d7a2d634@more.fool.me.uk","name":"David Edwards"},"message":"Update coveralls.io badge to SVG","distinct":true,"url":"https://api.github.com/repos/gerryai/pddl-parser/commits/00ca425aabe45d3b13fe0d07bc8fe13442285454"}]}