{"push_id":1014412891,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"08315870edc6e45554ab26da3151f231b0a6095d","before":"63a3d60702a6cc9fb489fe6a3a410259566de57a","commits":[{"sha":"bd32aab628e4143316348c8620315a0fe9e22bff","author":{"email":"f1b010126f61b5c59e7d5eb42c5c68f6105c5914@ertmssolutions.com","name":"LaurentFerier"},"message":"Better positioning of the arrow labels","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/bd32aab628e4143316348c8620315a0fe9e22bff"},{"sha":"08315870edc6e45554ab26da3151f231b0a6095d","author":{"email":"f1b010126f61b5c59e7d5eb42c5c68f6105c5914@ertmssolutions.com","name":"LaurentFerier"},"message":"Allow to modify Display related attributes for\n - Namespaces\n - Types\n - Rules\n - Variables\n - States","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/08315870edc6e45554ab26da3151f231b0a6095d"}]}