{"push_id":1237509146,"size":1,"distinct_size":1,"ref":"refs/heads/backwardsTransfer","head":"8fd6f3ca01eb5601222b7d44dad717ebd400f8da","before":"2bb8376ac34c8d4d99817cd216dc3c3c1fb633af","commits":[{"sha":"8fd6f3ca01eb5601222b7d44dad717ebd400f8da","author":{"name":"Karlheinz Friedberger","email":"4a4837618a562d3f4cc88b3f7ce29533f4f087fa@gmail.com"},"message":"Backwards-Analysis for AutomatonTransfer\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/backwardsTransfer@22595 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/8fd6f3ca01eb5601222b7d44dad717ebd400f8da"}]}
{"actor":{"display_login":"dbeyer-bot"}}