{"push_id":724368882,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5d3596c5aae10119bb3c39fff152fab85a798c99","before":"edeb81dda1592588dc48c9df41dbbc163b990a65","commits":[{"sha":"5d3596c5aae10119bb3c39fff152fab85a798c99","author":{"email":"4d1508a733b54d752d82f9e7d450313625cf6007@cs.uni-saarland.de","name":"Christoph Mallon"},"message":"Resolve warnings in test case.","distinct":true,"url":"https://api.github.com/repos/MatzeB/firm-testsuite/commits/5d3596c5aae10119bb3c39fff152fab85a798c99"}]}