{"push_id":1476704409,"size":1,"distinct_size":1,"ref":"refs/heads/mha/vdm2asn1","head":"6bf780e893839f130d2c461a1a07a11de0de5849","before":"246ac6c73edd4c134e8e96ceb8186d054dc6ff55","commits":[{"sha":"6bf780e893839f130d2c461a1a07a11de0de5849","author":{"name":"Miran","email":"7a8c5859235a46a2d7dc029043064891945e718f@gmail.com"},"message":"Initial set-up of the vdm to asn1 types translator","distinct":true,"url":"https://api.github.com/repos/overturetool/vdm2c/commits/6bf780e893839f130d2c461a1a07a11de0de5849"}]}
{"actor":{"display_login":"miranha"}}