{"push_id":2919060474,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d809a68f89545d7b5fa71e00541e037bbdef3368","before":"3e9ea570ba00d0b5376dbf77bb97ae2b2cba1e44","commits":[{"sha":"d809a68f89545d7b5fa71e00541e037bbdef3368","author":{"name":"golovach-ivan","email":"6c9cd1113558c632c7213a1590d6b19027e857a0@users.noreply.github.com"},"message":"Rename rholang-formal-verification/type-system.md to rholang-formal-verification/Type-System/type-system.md","distinct":true,"url":"https://api.github.com/repos/golovach-ivan/Correct-by-Construction/commits/d809a68f89545d7b5fa71e00541e037bbdef3368"}]}
{"actor":{"display_login":"golovach-ivan"}}