{"push_id":639287937,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"29e8cc4698059ca9acfa7dbac1dc2f3aab83ed80","before":"fc69cd2ff7af3c258bf73ca879ecfb456547a6fd","commits":[{"sha":"fc045cbe0c772dc843b57f30c74aefd1de50487e","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@ertmssolutions.com","name":"JamesOakey"},"message":"When there is only one update dictionary, selects it automatically.","distinct":true,"url":"https://api.github.com/repos/JamesOakey/ERTMSFormalSpecs/commits/fc045cbe0c772dc843b57f30c74aefd1de50487e"},{"sha":"cd3ed79480449f5f9f508289a5f2a98114656191","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@ertmssolutions.com","name":"JamesOakey"},"message":"Refresh the model after updating an element.","distinct":true,"url":"https://api.github.com/repos/JamesOakey/ERTMSFormalSpecs/commits/cd3ed79480449f5f9f508289a5f2a98114656191"},{"sha":"3c47cb66fb4c2b904c32c772ec0979ca72b5e470","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@ertmssolutions.com","name":"JamesOakey"},"message":"Bugfix: parameters of updated functions and procedures need to be updated. Added this to CreateFunctionUpdate and CreateProcedureUpdate, and made a test for this.","distinct":true,"url":"https://api.github.com/repos/JamesOakey/ERTMSFormalSpecs/commits/3c47cb66fb4c2b904c32c772ec0979ca72b5e470"},{"sha":"29e8cc4698059ca9acfa7dbac1dc2f3aab83ed80","author":{"email":"474ba67bdb289c6263b36dfd8a7bed6c85b04943@ertmssolutions.com","name":"JamesOakey"},"message":"Bugfix: Indication location at MRSP speed displayed on the DMI after it was passed. Moved the display rule to the SpeedAndDistanceMonitoring name space and added case for stopping the display.","distinct":true,"url":"https://api.github.com/repos/JamesOakey/ERTMSFormalSpecs/commits/29e8cc4698059ca9acfa7dbac1dc2f3aab83ed80"}]}