{"push_id":3073358308,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"d1382ac038a44226ab2383bae5f8407e32e320de","before":"0676950822b6a1865d8b8ca285156252a1cce1b1","commits":[{"sha":"51e816b8a87bf6ddb6f22a1555d714acb0821697","author":{"name":"Petr Bauch","email":"66621806d6d38b22ae3567ec29d15fb5936b761a@DB0276.ox.diffblue.com"},"message":"Add Universal_Integer type to symbol table\n\nAlso moves the unsupported feature check to allow universal integer type not to\nbe in the table during gnat parsing.","distinct":true,"url":"https://api.github.com/repos/diffblue/gnat2goto/commits/51e816b8a87bf6ddb6f22a1555d714acb0821697"},{"sha":"d1382ac038a44226ab2383bae5f8407e32e320de","author":{"name":"Chris Ryder","email":"0a80600a922b3e8933b49a029d4a8b7ec760e329@users.noreply.github.com"},"message":"Merge pull request #64 from xbauch/testsuite/ranges\n\ntestsuite/ranges fix [ADA-202]","distinct":true,"url":"https://api.github.com/repos/diffblue/gnat2goto/commits/d1382ac038a44226ab2383bae5f8407e32e320de"}]}
{"actor":{"display_login":"chrisr-diffblue"}}