{"push_id":902611165,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3bc39fe47fad9ca8553b56b7662df5a5cafd6957","before":"3f323b98f7622b3d8d945aa7de5bb52bd1f32592","commits":[{"sha":"3bc39fe47fad9ca8553b56b7662df5a5cafd6957","author":{"email":"cfb2ac0f41b3a66a8c4e34a72520665f71d5038c@microsoft.com","name":"Jonathan Protzenko"},"message":"CoreCrypto: test cases for hmac-{sha1,md5}","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/3bc39fe47fad9ca8553b56b7662df5a5cafd6957"}]}