{"push_id":602457057,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"c6a248b4cf381ca46599a8c267eefe7c7d058139","before":"a447248d4a7c6148ffb2bc89165b4ce3bd1f6e74","commits":[{"sha":"c6a248b4cf381ca46599a8c267eefe7c7d058139","author":{"email":"6a1e3a77019418984eb4ab69e50955ef27b78ece@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"loewe"},"message":"update doc\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@16233 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/dbeyer/cpachecker/commits/c6a248b4cf381ca46599a8c267eefe7c7d058139"}]}