{"push_id":2858849290,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"30ff1d0274419f58681a4d52674668dc1bd5ea3f","before":"7198e9e98f41359399c252a3967f14afa3f2bc80","commits":[{"sha":"30ff1d0274419f58681a4d52674668dc1bd5ea3f","author":{"name":"golovach-ivan","email":"6c9cd1113558c632c7213a1590d6b19027e857a0@users.noreply.github.com"},"message":"Update BisimulationDemo0_university.scala","distinct":true,"url":"https://api.github.com/repos/golovach-ivan/Correct-by-Construction/commits/30ff1d0274419f58681a4d52674668dc1bd5ea3f"}]}
{"actor":{"display_login":"golovach-ivan"}}