{"push_id":1802666607,"size":3,"distinct_size":3,"ref":"refs/heads/kyod_tmp0","head":"c310f0af3a3d17fe1504bdaa4b967539d71511c2","before":"89b3a0db15eb7ebebaea278c2336eedc67428bb6","commits":[{"sha":"80a07674c2fa58e62b53a6906ff3d1f4a979ec83","author":{"name":"Kenji Maillard","email":"4d0ff04ef8c577d7a802f9bb3768f05eef558868@inria.fr"},"message":".depend not necessary with ocamlbuild","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/80a07674c2fa58e62b53a6906ff3d1f4a979ec83"},{"sha":"8a93adc61f40fe0e5875a5b668026e7881ba053a","author":{"name":"Kenji Maillard","email":"4d0ff04ef8c577d7a802f9bb3768f05eef558868@inria.fr"},"message":"hints","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8a93adc61f40fe0e5875a5b668026e7881ba053a"},{"sha":"c310f0af3a3d17fe1504bdaa4b967539d71511c2","author":{"name":"Kenji Maillard","email":"4d0ff04ef8c577d7a802f9bb3768f05eef558868@inria.fr"},"message":"Merge remote-tracking branch 'origin/kyod_tmp0'","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c310f0af3a3d17fe1504bdaa4b967539d71511c2"}]}
{"actor":{"display_login":"kyoDralliam"}}