{"push_id":1180629630,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e6732e4fbb04efd275b868aa5e708301d694ed07","before":"af73ca7b1d021ff35ab0ff8d468585758758441d","commits":[{"sha":"e6732e4fbb04efd275b868aa5e708301d694ed07","author":{"name":"Santiago Zanella-Beguelin","email":"691e8653bb6bdd8379af2574337c13161e1207fe@microsoft.com"},"message":"Update code for #173","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e6732e4fbb04efd275b868aa5e708301d694ed07"}]}
{"actor":{"display_login":"s-zanella"}}