{"push_id":1026329332,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1b5a39da751f62406db06fd18f69bdfccac7d1f2","before":"47b073df2f0a0c7f98b53c0112992c4f64b6f913","commits":[{"sha":"1b5a39da751f62406db06fd18f69bdfccac7d1f2","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"nikswamy"},"message":"Update INSTALL.md","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/1b5a39da751f62406db06fd18f69bdfccac7d1f2"}]}