{"push_id":2564634296,"size":1,"distinct_size":1,"ref":"refs/heads/witnessreport","head":"ac3d43b6a347c0f138a9262857c159dc33f0ad25","before":"62bc2615e3a249533c7fde2c9450d1532db7c49d","commits":[{"sha":"ac3d43b6a347c0f138a9262857c159dc33f0ad25","author":{"name":"spiessl","email":"1bc32ab2a90d00ff675977bd9a486f071df370a4@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Enable access to witness information via interface\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/witnessreport@27951 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/ac3d43b6a347c0f138a9262857c159dc33f0ad25"}]}
{"actor":{"display_login":"dbeyer-bot"}}