{"push_id":970710441,"size":2,"distinct_size":2,"ref":"refs/heads/develop","head":"a06b1f8dc057032e9162d1b266dfc6bacd1569c9","before":"41560f3c4c1c96a871e2eaccc0e1b8ab6796bd28","commits":[{"sha":"82f127b7bf9f369437718db9bf076ae7987a7a71","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"Alain Mebsout"},"message":"Always fail on undefined local variables","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/82f127b7bf9f369437718db9bf076ae7987a7a71"},{"sha":"a06b1f8dc057032e9162d1b266dfc6bacd1569c9","author":{"email":"b23a4f37d882c3ddb4c6ea69a047a1f968024efb@gmail.com","name":"mebsout"},"message":"Merge pull request #354 from mebsout/develop\n\nAlways fail on undefined local variables","distinct":true,"url":"https://api.github.com/repos/kind2-mc/kind2/commits/a06b1f8dc057032e9162d1b266dfc6bacd1569c9"}]}