{"push_id":783861853,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1da4fdd27526289307025a3682dc33d2eb0dde18","before":"712e1b8c44a9e4afa7226f7c06d876839eb13bcd","commits":[{"sha":"1da4fdd27526289307025a3682dc33d2eb0dde18","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"Fix typo in README","distinct":true,"url":"https://api.github.com/repos/FStarLang/fstar-mode.el/commits/1da4fdd27526289307025a3682dc33d2eb0dde18"}]}