{"push_id":1178651694,"size":3,"distinct_size":0,"ref":"refs/heads/milestone/v15-1","head":"0c236105a9d94c7652a1b66a2337833f544a7226","before":"91f8649553abeb3e5f4c2289b00d3ee69e4176c8","commits":[{"sha":"844cc28167fd0ce6cc8f36889043e5941e0a67aa","author":{"name":"danielratiu","email":"78052dd9aaf9f64622a5956f8529960e30985c95@googlemail.com"},"message":"initial version of the integration with the Spin model checker","distinct":false,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/844cc28167fd0ce6cc8f36889043e5941e0a67aa"},{"sha":"b94d81364d32e83f13fb9bd9a7fa624c5cdd2d77","author":{"name":"danielratiu","email":"78052dd9aaf9f64622a5956f8529960e30985c95@googlemail.com"},"message":"small fix","distinct":false,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/b94d81364d32e83f13fb9bd9a7fa624c5cdd2d77"},{"sha":"0c236105a9d94c7652a1b66a2337833f544a7226","author":{"name":"danielratiu","email":"78052dd9aaf9f64622a5956f8529960e30985c95@googlemail.com"},"message":"fix for coloring canceled results in the editor","distinct":false,"url":"https://api.github.com/repos/mbeddr/mbeddr.core/commits/0c236105a9d94c7652a1b66a2337833f544a7226"}]}
{"actor":{"display_login":"danielratiu"}}