{"push_id":3085501928,"size":1,"distinct_size":1,"ref":"refs/heads/taramana_lowparse_low_20181106","head":"348308deede671ba7bdd6f38f70b9da544c410f7","before":"82a448f5d58811685bade68cfc55451c8c978d3f","commits":[{"sha":"348308deede671ba7bdd6f38f70b9da544c410f7","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Make gaccessor combinators opaque","distinct":true,"url":"https://api.github.com/repos/project-everest/mitls-fstar/commits/348308deede671ba7bdd6f38f70b9da544c410f7"}]}
{"actor":{"display_login":"tahina-pro"}}