{"push_id":1442659396,"size":1,"distinct_size":1,"ref":"refs/heads/c_record_aead","head":"6e620e4d93256460ffdc0cce1e6897ff4782cfe1","before":"33aec276f663f30b023d6244493cf167b7f296d0","commits":[{"sha":"6e620e4d93256460ffdc0cce1e6897ff4782cfe1","author":{"name":"Santiago Zanella-Beguelin","email":"691e8653bb6bdd8379af2574337c13161e1207fe@microsoft.com"},"message":"Related to comment in #777 (avoiding the f* word)","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6e620e4d93256460ffdc0cce1e6897ff4782cfe1"}]}
{"actor":{"display_login":"s-zanella"}}