{"push_id":1121011910,"size":1,"distinct_size":1,"ref":"refs/heads/manos","head":"4923393240bbc667eae8b949621e6c41a08b54bd","before":"5db80dbc326c5a683e3aa1fc2739cd3eaa31aaa5","commits":[{"sha":"4923393240bbc667eae8b949621e6c41a08b54bd","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Implement CEGIS with mutableTree","distinct":true,"url":"https://api.github.com/repos/epfl-lara/leon/commits/4923393240bbc667eae8b949621e6c41a08b54bd"}]}
{"actor":{"display_login":"manoskouk"}}