{"push_id":1453812659,"size":1,"distinct_size":1,"ref":"refs/heads/smg_performance","head":"776e5eec91fec5d743b36bc9b3d86c7f1b67430f","before":"8f33794460d679900b052a4c4ae6c533c19d0a64","commits":[{"sha":"776e5eec91fec5d743b36bc9b3d86c7f1b67430f","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Merge bitfield machine models into the normal machine models\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/smg_performance@23860 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":true,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/776e5eec91fec5d743b36bc9b3d86c7f1b67430f"}]}
{"actor":{"display_login":"dbeyer-bot"}}