{"push_id":1099537604,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f7b92d0e9e5d073f6f12b5c0da1bbaacef7eff64","before":"ae32703f67eb90738197c9641066a5f1c6d60896","commits":[{"sha":"f7b92d0e9e5d073f6f12b5c0da1bbaacef7eff64","author":{"email":"c9c378ce3140ef5347cfd390951bb5e31b98f5f4@lri.fr","name":"Florent Hivert"},"message":"Emilio's improvements on Florent's seq lemmas (2)","distinct":true,"url":"https://api.github.com/repos/hivert/math-comp/commits/f7b92d0e9e5d073f6f12b5c0da1bbaacef7eff64"}]}