{"push_id":913255242,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"68430895acbc8bbbdfba732b0ec646a87dab61d0","before":"3565b10d5997fa2d34167e66ddef3f6eafd28005","commits":[{"sha":"68430895acbc8bbbdfba732b0ec646a87dab61d0","author":{"email":"ccd92bd6978ab8ec96f2bf8706e13a3ae4d726de@ertmssolutions.com","name":"Svitlana Lukicheva"},"message":"Bug fix: corrected adding of list elements","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/68430895acbc8bbbdfba732b0ec646a87dab61d0"}]}