{"push_id":822954144,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8f04620927d8e3834e810d8ee5356fcc2f54a1f0","before":"7e0a0457228bfd5102ab1d168a14bc4d3af5ea57","commits":[{"sha":"8f04620927d8e3834e810d8ee5356fcc2f54a1f0","author":{"email":"6dae10d23b31fe0f8b84e78305c56002160da882@york.ac.uk","name":"Antonio Garcia-Dominguez"},"message":"Fine tune server product and close Artemis producer as well","distinct":true,"url":"https://api.github.com/repos/mondo-project/mondo-integration/commits/8f04620927d8e3834e810d8ee5356fcc2f54a1f0"}]}