{"push_id":841141110,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"35124d2e255e5f88d99ddc65361d6997b0a2b751","before":"254379d32d0dac9481b5e54ea54baf613bfd611a","commits":[{"sha":"35124d2e255e5f88d99ddc65361d6997b0a2b751","author":{"email":"dfbf95dfc2d5d317d280405736387d89b3e5eeeb@inria.fr","name":"Assia Mahboubi"},"message":"Added support for highlighting 'isn't' in PG.","distinct":true,"url":"https://api.github.com/repos/math-comp/math-comp/commits/35124d2e255e5f88d99ddc65361d6997b0a2b751"}]}