{"push_id":2871859391,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7779aee57d544f801add98bf34f3f84511311f3b","before":"d49693b3893aeebff831a9ebeef0f034c29c33d2","commits":[{"sha":"7779aee57d544f801add98bf34f3f84511311f3b","author":{"name":"mario.alvarez@consensys.net","email":"cc61a4b4918346df03d3773f3a1a83b9fc2f487a@DESKTOP-84OVJN9.localdomain"},"message":"finished lemma describing execution of Elle instructions","distinct":true,"url":"https://api.github.com/repos/mmalvarez/eth-isabelle/commits/7779aee57d544f801add98bf34f3f84511311f3b"}]}
{"actor":{"display_login":"mmalvarez"}}