{"push_id":667542044,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ac991684a958df71036abcddcfc986954d743762","before":"81bc5ed577d35306bb8e020e57b384de2eaaca00","commits":[{"sha":"ac991684a958df71036abcddcfc986954d743762","author":{"email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com","name":"Nikhil Swamy"},"message":"a tiny bit more on gc","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/ac991684a958df71036abcddcfc986954d743762"}]}