{"push_id":1451159901,"size":1,"distinct_size":1,"ref":"refs/heads/topic/grammars","head":"9f75ea132a5ffc2a419e8b8d2aedf3c216854056","before":"469ea15f1d772084e6c74fdd2d606d59396046ac","commits":[{"sha":"9f75ea132a5ffc2a419e8b8d2aedf3c216854056","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Fix annotation printing","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/9f75ea132a5ffc2a419e8b8d2aedf3c216854056"}]}
{"actor":{"display_login":"manoskouk"}}