{"push_id":1203304674,"size":1,"distinct_size":0,"ref":"refs/heads/master","head":"a80f4d9da34999da722757bc082394c4e306d598","before":"0353140771b1d0557ecb778525fd4522a85c44af","commits":[{"sha":"a80f4d9da34999da722757bc082394c4e306d598","author":{"name":"Manos Koukoutos","email":"6b9f942f0f739e9a18bf37eebf72d0b6f715790a@epfl.ch"},"message":"Revert \"Rename CEGIS -> STE in ORB\"\n\nThis reverts commit 0353140771b1d0557ecb778525fd4522a85c44af.","distinct":false,"url":"https://api.github.com/repos/epfl-lara/leon/commits/a80f4d9da34999da722757bc082394c4e306d598"}]}
{"actor":{"display_login":"manoskouk"}}