payload: {"push_id":3319997186,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"87db41c766833620fbab1ab7429e9984dfb698b0","before":"2a7ed17a1590f1faa5996cf8e41e546d5006e913","commits":[{"sha":"87db41c766833620fbab1ab7429e9984dfb698b0","author":{"name":"Karlheinz Friedberger","email":"2ead1e2e0ae6a87f7bc0f79360ab602a46f82834@gmail.com"},"message":"integration-sets: enable witness generation for all major nightly benchmarks.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@30641 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/87db41c766833620fbab1ab7429e9984dfb698b0"}]}
other: {"actor":{"display_login":"dbeyer-bot"}}