{"push_id":940637215,"size":1,"distinct_size":1,"ref":"refs/heads/lics","head":"81212316533a143b7a28133bd17fa0505b197410","before":"7981e3b675d47734d05b91a21eb0a19e1674d743","commits":[{"sha":"81212316533a143b7a28133bd17fa0505b197410","author":{"email":"b7f458134666a5352414ffadd55fc640ce840f77@gmail.com","name":"Andrea Vezzosi"},"message":"reworded IA proof","distinct":true,"url":"https://api.github.com/repos/Saizan/lics/commits/81212316533a143b7a28133bd17fa0505b197410"}]}