{"push_id":1363923635,"size":1,"distinct_size":1,"ref":"refs/heads/catalin_private","head":"85c4648e46d643fdce111f93e82cd9670c262efc","before":"16258fead81dbe210b637d308fd89758d2c388af","commits":[{"sha":"85c4648e46d643fdce111f93e82cd9670c262efc","author":{"name":"Catalin Hritcu","email":"a7566126cc1064d313ddd460698b66ca9da4e580@gmail.com"},"message":"Less embarrassing make target","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/85c4648e46d643fdce111f93e82cd9670c262efc"}]}
{"actor":{"display_login":"catalin-hritcu"}}