{"push_id":2873579033,"size":2,"distinct_size":2,"ref":"refs/heads/guido_tactics","head":"325bd3f3fd8f7af2974f1e75332bbbde18a17ae7","before":"cc69f58d754b0c75d70847f222cdc34c16bb81bb","commits":[{"sha":"7268e7ed133a4ba9a2ed0c85499fb5c5b5695d3e","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"tidy up","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/7268e7ed133a4ba9a2ed0c85499fb5c5b5695d3e"},{"sha":"325bd3f3fd8f7af2974f1e75332bbbde18a17ae7","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"snap","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/325bd3f3fd8f7af2974f1e75332bbbde18a17ae7"}]}
{"actor":{"display_login":"mtzguido"}}