{"push_id":814607231,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2c14ca2e700a0cbfe9aba76036e400ff400286a1","before":"6cb40de54a68a1fd226dba02946c942e86700a8f","commits":[{"sha":"2c14ca2e700a0cbfe9aba76036e400ff400286a1","author":{"email":"c40c852c1b9bf34fbe7a1156f60750a26607b7f8@inria.fr","name":"Benjamin Beurdouche"},"message":"FStar is available from Homebrew Science \\o/","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2c14ca2e700a0cbfe9aba76036e400ff400286a1"}]}