{"push_id":977638715,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4f1e7df056f6b0dd29df7c81661d37aff627d8df","before":"554069e46e26be44da6d38c2f9d2ec19abb7be2b","commits":[{"sha":"4f1e7df056f6b0dd29df7c81661d37aff627d8df","author":{"email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com","name":"Santiago Zanella-Beguelin"},"message":"This seems to fix #487","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4f1e7df056f6b0dd29df7c81661d37aff627d8df"}]}