{"push_id":1342054327,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4f54639723da98ac91bd89b1bfc10e8e88086391","before":"25a2e16704db1b61777ec46dd4705ddf6591276a","commits":[{"sha":"4f54639723da98ac91bd89b1bfc10e8e88086391","author":{"name":"LaurentFerier","email":"565143a24011d82b0e706b5e5e772cddac91a0cb@ertmssolutions.com"},"message":"Reviewed the handling of JRU messages according to VBC setting and removal\nReviewer the display of text messages according to level","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/4f54639723da98ac91bd89b1bfc10e8e88086391"}]}
{"actor":{"display_login":"LaurentFerier"}}