{"push_id":2926764880,"size":1,"distinct_size":1,"ref":"refs/heads/smgThreshold","head":"7e9c80ea1495113d05e59ee9ce528cb4bc771d36","before":"8642ee3878e4d74173d0ce0f7c62e74f238d7df9","commits":[{"sha":"7e9c80ea1495113d05e59ee9ce528cb4bc771d36","author":{"name":"knaut","email":"3010c7f59816e32539eece9fedac2d4b334b4b32@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMG: Add class for heap abstraction threshold\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smgThreshold@29363 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/7e9c80ea1495113d05e59ee9ce528cb4bc771d36"}]}
{"actor":{"display_login":"dbeyer-bot"}}