{"push_id":884453064,"size":1,"distinct_size":1,"ref":"refs/heads/updated_errors","head":"9331854d3f380298d77023e6bd1dfde1888edfc2","before":"359d9fcc535e42843a9f481f9da7590edb184fdb","commits":[{"sha":"9331854d3f380298d77023e6bd1dfde1888edfc2","author":{"email":"99edc950d933e070babd6b06d8b3f502ee2e0cc4@runtimeverification.com","name":"Manasvi Saxena"},"message":"attempt to fix new line issue","distinct":true,"url":"https://api.github.com/repos/msaxena2/c-semantics/commits/9331854d3f380298d77023e6bd1dfde1888edfc2"}]}