{"push_id":2855704626,"size":6,"distinct_size":0,"ref":"refs/heads/master","head":"a4bbc2d10f1071829c9074fc7d71c8c0035fa31b","before":"364c68dd6e953c3e1011044124f407e57fd1263c","commits":[{"sha":"a437704bdab6d5643326ae61e62ee619d39bdd71","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"removing the duplication of specs from buffer and wrappers","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a437704bdab6d5643326ae61e62ee619d39bdd71"},{"sha":"636188ee3aeaa5c6b700aaa3d509c69b91523360","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"cleanup kremlin extraction","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/636188ee3aeaa5c6b700aaa3d509c69b91523360"},{"sha":"4719b929ec4ce571bfe5ab85adad65f82919036c","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"snap","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4719b929ec4ce571bfe5ab85adad65f82919036c"},{"sha":"f2f56437f4a367d5af6eeecf76c9c6d7e6f49f9d","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"tweaking a timeout","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f2f56437f4a367d5af6eeecf76c9c6d7e6f49f9d"},{"sha":"81ff82ad9d6189a444e4c8096d966d80bbdea04d","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"removing the duplication of specs from buffer and wrappers","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/81ff82ad9d6189a444e4c8096d966d80bbdea04d"},{"sha":"a4bbc2d10f1071829c9074fc7d71c8c0035fa31b","author":{"name":"Aseem Rastogi","email":"68fa52c7cd146f58488ff7aa2872977f630a97f9@microsoft.com"},"message":"some hints","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/a4bbc2d10f1071829c9074fc7d71c8c0035fa31b"}]}
{"actor":{"display_login":"aseemr"}}