{"push_id":548501283,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9503a22626b17d400b24544585131401e91ffa1b","before":"394dcee7b01de8b0f9caedd6300302ca285cc1d8","commits":[{"sha":"9503a22626b17d400b24544585131401e91ffa1b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(about): style","distinct":true,"url":"https://api.github.com/repos/leanprover/leanprover.github.io/commits/9503a22626b17d400b24544585131401e91ffa1b"}]}