{"push_id":1224251203,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"5b466bdb1e0652c4eecb1dd34683dd59dba315da","before":"904fbb0f44e26edeb7b9c41e1c10895aeee3ec04","commits":[{"sha":"619ec65e19436b0e112f60ab7e436f79ef57fd17","author":{"name":"JamesOakey","email":"01cfcc75cc77e42d1369b51ffa1aaa70069d0f46@ertmssolutions.com"},"message":"Reimported Messages namespace with corrected message value checking","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/619ec65e19436b0e112f60ab7e436f79ef57fd17"},{"sha":"4904a8a33a30eb62c8a65841e9a01522dfe9f220","author":{"name":"JamesOakey","email":"01cfcc75cc77e42d1369b51ffa1aaa70069d0f46@ertmssolutions.com"},"message":"Extend Integer value handling to numbers greater then 2^31, as T_TRAIN can be larger","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/4904a8a33a30eb62c8a65841e9a01522dfe9f220"},{"sha":"5b466bdb1e0652c4eecb1dd34683dd59dba315da","author":{"name":"JamesOakey","email":"01cfcc75cc77e42d1369b51ffa1aaa70069d0f46@ertmssolutions.com"},"message":"Fixed tests with incorrect messages","distinct":true,"url":"https://api.github.com/repos/ERTMSSolutions/ERTMSFormalSpecs/commits/5b466bdb1e0652c4eecb1dd34683dd59dba315da"}]}
{"actor":{"display_login":"JamesOakey"}}