{"push_id":1225047655,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"a9d28afff0e817aad3fc7e6ea1d1206f35b30955","before":"1d7928151e534bc6f79853247b85055afe9b2f2a","commits":[{"sha":"a9d28afff0e817aad3fc7e6ea1d1206f35b30955","author":{"name":"Karlheinz Friedberger","email":"4a4837618a562d3f4cc88b3f7ce29533f4f087fa@gmail.com"},"message":"simplification of GenericAssumptionCPA by extending AbstractCPA.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22414 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/a9d28afff0e817aad3fc7e6ea1d1206f35b30955"}]}
{"actor":{"display_login":"dbeyer-bot"}}