{"push_id":1385651077,"size":5,"distinct_size":5,"ref":"refs/heads/sishtiaq_ifdebug","head":"336afb49b46188b2f84f2bde123051d0a38385e9","before":"e4ef323fb0b2f87ebee695559a219b8e557df21b","commits":[{"sha":"8f273ca78ba011d7ca277f7c0d80437d72d821a1","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Use ffi_debug to gate debug_print_string.","distinct":true,"url":"https://api.github.com/repos/mitls/mitls-fstar/commits/8f273ca78ba011d7ca277f7c0d80437d72d821a1"},{"sha":"4984de54fdac466a9db47503d42c3e35275aa92d","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Use hsl_debug to gate debug_print_string.","distinct":true,"url":"https://api.github.com/repos/mitls/mitls-fstar/commits/4984de54fdac466a9db47503d42c3e35275aa92d"},{"sha":"af165149b8a42725fd48b7003156a017f42b9025","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Fix description text.","distinct":true,"url":"https://api.github.com/repos/mitls/mitls-fstar/commits/af165149b8a42725fd48b7003156a017f42b9025"},{"sha":"7b8bc50f834d4910223c48925a948c6647bfc3f2","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Use n_debug to gate debug_print_string.","distinct":true,"url":"https://api.github.com/repos/mitls/mitls-fstar/commits/7b8bc50f834d4910223c48925a948c6647bfc3f2"},{"sha":"336afb49b46188b2f84f2bde123051d0a38385e9","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Use r_debug to gate debug_print_string.","distinct":true,"url":"https://api.github.com/repos/mitls/mitls-fstar/commits/336afb49b46188b2f84f2bde123051d0a38385e9"}]}
{"actor":{"display_login":"sishtiaq"}}