{"push_id":676492972,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1f01a43932e6cd1dd7572c385a3f334d43ac39d6","before":"57c8a3663e2d4fbe7204e4c244b8cc812b85e2d8","commits":[{"sha":"1f01a43932e6cd1dd7572c385a3f334d43ac39d6","author":{"email":"9359a4d812173b65a3a0094cd86363e79731a3c2@delignat-lavaud.fr","name":"Antoine Delignat-Lavaud"},"message":"Remove query keyword","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1f01a43932e6cd1dd7572c385a3f334d43ac39d6"}]}