{"push_id":1215986469,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"788ca2305cbbd6dbd4ea350eb97750aa639aa242","before":"b861fb41dcdedd266b23c2781d31042af8cf58d5","commits":[{"sha":"788ca2305cbbd6dbd4ea350eb97750aa639aa242","author":{"name":"loewe","email":"65da51036800b2580fe88e07910770cbe9b9b880@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"fix NPE introduced with the switch from multi-edges to cpa.composite.aggregateBasicBlocks=true\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22348 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/788ca2305cbbd6dbd4ea350eb97750aa639aa242"}]}
{"actor":{"display_login":"dbeyer-bot"}}