{"push_id":1121468041,"size":1,"distinct_size":1,"ref":"refs/heads/muauto","head":"672222c8c809accee3be54965346e11b9740e3e7","before":"2cb99ac12b1779e0f02a715612ede4abad6b6f95","commits":[{"sha":"672222c8c809accee3be54965346e11b9740e3e7","author":{"email":"c213daac9a1510142176620eed85940406c44327@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","name":"buerdek"},"message":"added test cases for annotations in tiger.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/muauto@21333 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/672222c8c809accee3be54965346e11b9740e3e7"}]}
{"actor":{"display_login":"dbeyer-bot"}}