{"push_id":3500342750,"size":2,"distinct_size":2,"ref":"refs/heads/taramana_dev_nego","head":"1894272d0ba64a743999b19be22c464adac04b02","before":"887bbc4b32ff27099180cf5b8ad21078deab06ab","commits":[{"sha":"d993cf3448b7ccbbc13a29940ffc997fac4203e1","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Work around lack of QD hash-consing","distinct":true,"url":"https://api.github.com/repos/tahina-pro/mitls-fstar/commits/d993cf3448b7ccbbc13a29940ffc997fac4203e1"},{"sha":"1894272d0ba64a743999b19be22c464adac04b02","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Use new miTLSConfig and wbind","distinct":true,"url":"https://api.github.com/repos/tahina-pro/mitls-fstar/commits/1894272d0ba64a743999b19be22c464adac04b02"}]}
{"actor":{"display_login":"tahina-pro"}}