{"push_id":1199314724,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"ebc8176a3e4dc8b384997a6dc0961df836805308","before":"f1877bd31db1222716e7d88f06d4923dd74f683c","commits":[{"sha":"ebc8176a3e4dc8b384997a6dc0961df836805308","author":{"name":"Thomas Stieglmaier","email":"5f919b14acad347486cfcc925fe5476cb2791020@stieglmaier.me"},"message":"Fixed some configuration files mentioned by a failing unit test.\n\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22238 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/ebc8176a3e4dc8b384997a6dc0961df836805308"}]}
{"actor":{"display_login":"dbeyer-bot"}}