{"push_id":572845042,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"17dc78a53127e3d54ed7c3abb88a3138319ada79","before":"4e2899130765705da3d8f0fa418e1b9b5e5d17a1","commits":[{"sha":"17dc78a53127e3d54ed7c3abb88a3138319ada79","author":{"email":"fd754e68a8e713b5ea012d85ae703f854842758b@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"pwendler"},"message":"Python renaming part II (see #199)\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@15651 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/17dc78a53127e3d54ed7c3abb88a3138319ada79"}]}