{"push_id":1406178553,"size":5,"distinct_size":5,"ref":"refs/heads/sishtiaq_pp","head":"6fd466cb9b4c301c64f1247d69b2db53fe3d45e4","before":"9f1bb421a82f9a4c06118f2f8045b65769fadf8d","commits":[{"sha":"15af544690d23de687f1b90f2155af3788b63a52","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Add ref to Strub dll for F# implementation.","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/15af544690d23de687f1b90f2155af3788b63a52"},{"sha":"4f8d193974fef22b810b064e8e17bc721b362c07","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Rename {char,string} to {document_of_char,document_of_string}.","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/4f8d193974fef22b810b064e8e17bc721b362c07"},{"sha":"020f1731e345a7cbf55b9b6051c577351e967e13","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Rename {char,string} to {document_of_char,document_of_string}.","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/020f1731e345a7cbf55b9b6051c577351e967e13"},{"sha":"62f5340740427860e7ba4f5754639b06ee2f6afe","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"(list t), not (t list).","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/62f5340740427860e7ba4f5754639b06ee2f6afe"},{"sha":"6fd466cb9b4c301c64f1247d69b2db53fe3d45e4","author":{"name":"Samin Ishtiaq","email":"ff09b1c3c351af0e8cbefc308fb8203fda9da758@microsoft.com"},"message":"Not 'document list' but 'list<document>', for when we extract to F#.","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/6fd466cb9b4c301c64f1247d69b2db53fe3d45e4"}]}
{"actor":{"display_login":"sishtiaq"}}