{"push_id":2927963825,"size":1,"distinct_size":1,"ref":"refs/heads/smgThreshold","head":"10d63001ad6bf6a1a3251f76baab6e0c17622ecc","before":"daf4d14bbe40c214e81e936331ecfb4876663a7d","commits":[{"sha":"10d63001ad6bf6a1a3251f76baab6e0c17622ecc","author":{"name":"knaut","email":"3010c7f59816e32539eece9fedac2d4b334b4b32@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"SMG: Use consistent configuration options\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smgThreshold@29372 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/10d63001ad6bf6a1a3251f76baab6e0c17622ecc"}]}
{"actor":{"display_login":"dbeyer-bot"}}