{"push_id":957420772,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c379a21da4fea072f44094216a58dd04eea8059f","before":"304429436ebfc6d0b3173aea55b3a576f81b8478","commits":[{"sha":"c379a21da4fea072f44094216a58dd04eea8059f","author":{"email":"afde1d3350cd3d85a513ff8d996e77446f395c79@univ-orleans.fr","name":"frederic.dabrowski"},"message":"fix a bug in '.' detection","distinct":true,"url":"https://api.github.com/repos/fdabrows/coq-plugin/commits/c379a21da4fea072f44094216a58dd04eea8059f"}]}