{"push_id":897161080,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cd8a2ee4f8dcd9df514dcf50e211d3dbf63ba40a","before":"9a74b37f8ec19efb0a59bd9181a15b967b386978","commits":[{"sha":"cd8a2ee4f8dcd9df514dcf50e211d3dbf63ba40a","author":{"email":"792d28329de7ed446c01b83f731a071248ffeaf4@microsoft.com","name":"Santiago Zanella-Beguelin"},"message":"Fixed a typo amounting to assume false","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/cd8a2ee4f8dcd9df514dcf50e211d3dbf63ba40a"}]}