{"push_id":1429589031,"size":1,"distinct_size":1,"ref":"refs/heads/catalin_private","head":"9a38a2265fda11545c4efa5c372744612711baa5","before":"0f896538ef097faaf799151c2101b8a332f5e8fb","commits":[{"sha":"9a38a2265fda11545c4efa5c372744612711baa5","author":{"name":"Catalin Hritcu","email":"a7566126cc1064d313ddd460698b66ca9da4e580@gmail.com"},"message":"Regenerated hints for the 3 slowest files","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9a38a2265fda11545c4efa5c372744612711baa5"}]}
{"actor":{"display_login":"catalin-hritcu"}}