{"push_id":1525577179,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"349ee5036d19db48cf136546123528afe7f798f0","before":"96085e608e8c9217de60699f6a273cedf3afd1d9","commits":[{"sha":"5f4014a9cf64a3af221bf9f291ad7f4e5b4e477f","author":{"name":"Tomer Libal","email":"ceb0739b62096f4953296af74880cb7a6a66a883@gmail.com"},"message":"added a delay on the looping threads looking for smt jobs. The delay is a fixed 10ms now as this is a temporary fix","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5f4014a9cf64a3af221bf9f291ad7f4e5b4e477f"},{"sha":"349ee5036d19db48cf136546123528afe7f798f0","author":{"name":"Tomer Libal","email":"ceb0739b62096f4953296af74880cb7a6a66a883@gmail.com"},"message":"Merge branch 'shaolintl_bug_146'","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/349ee5036d19db48cf136546123528afe7f798f0"}]}
{"actor":{"display_login":"shaolintl"}}