{"push_id":1192638996,"size":1,"distinct_size":1,"ref":"refs/heads/trunk","head":"31ac22a485a9a05656679ba03b6d4a7e5ef745f4","before":"4633ce356b9de62e3e44092e8299f9a2954220f1","commits":[{"sha":"31ac22a485a9a05656679ba03b6d4a7e5ef745f4","author":{"name":"ottseb","email":"575b61aa08618f4d06012bb59dbb6b03d4bdcffd@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix: TerminationState.toString().\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@22122 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/31ac22a485a9a05656679ba03b6d4a7e5ef745f4"}]}
{"actor":{"display_login":"dbeyer-bot"}}