{"push_id":2111242979,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c845d2c30f24a13e59c8835cdf9576e08c9d4ba8","before":"cf11fcadfc37d738664e0eaf0f9d9bc90cd3b3a4","commits":[{"sha":"c845d2c30f24a13e59c8835cdf9576e08c9d4ba8","author":{"name":"ronsheme","email":"a7f7cc38663fe37fab53a9e91c1da11d904b3aaa@mail.tau.ac.il"},"message":"Update secrecy_protocol-enc-relation.ivy\n\nsecure_message_transfer comments","distinct":true,"url":"https://api.github.com/repos/ronsheme/verifications/commits/c845d2c30f24a13e59c8835cdf9576e08c9d4ba8"}]}
{"actor":{"display_login":"ronsheme"}}