{"push_id":2665228444,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f6b62ed3b2ec42717dd09a1ac4286ac2e19d424a","before":"336c63befbb828383a159a0be899630958d754d6","commits":[{"sha":"f6b62ed3b2ec42717dd09a1ac4286ac2e19d424a","author":{"name":"Piotr Trojanek","email":"cf728c1c31506c7219195290995225cd6fff6281@altran.com"},"message":"minor style fixes in counterexamples\n\n(no-tn-check)\n\nBy convention we use N for Node_Ids and E for Entity_Ids; also, remove some\nextra parentheses.\n\nChange-Id: Iffe50c0c070823407222102cfa10b23217454c7d","distinct":true,"url":"https://api.github.com/repos/AdaCore/spark2014/commits/f6b62ed3b2ec42717dd09a1ac4286ac2e19d424a"}]}
{"actor":{"display_login":"adacore-bot"}}