{"push_id":3104039431,"size":7,"distinct_size":2,"ref":"refs/heads/guido_1595","head":"c1ca75b9e0540727d071dbcad52a744998763352","before":"19e21fdfeed455c68acc2defc68e526d09f184fb","commits":[{"sha":"69a157aa05e4e2ffe27fd95f7908d1d9e189c870","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Connect `live_region` with `loc_unused_in`","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/69a157aa05e4e2ffe27fd95f7908d1d9e189c870"},{"sha":"208d3fa64c9d30df846ad1859c80e2e3f74b41e7","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Change suggested by @aseemr\n\nSee also https://github.com/FStarLang/FStar/commit/69a157aa05e4e2ffe27fd95f7908d1d9e189c870#r31513022","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/208d3fa64c9d30df846ad1859c80e2e3f74b41e7"},{"sha":"5341f90e938910aa90b4c20c5d28671b4f3e5a9c","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"Merge branch 'master' of github.com:FStarLang/FStar into taramana_regions_unused_in","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5341f90e938910aa90b4c20c5d28671b4f3e5a9c"},{"sha":"344b43f2bf5a2b9f7a9f170d470ee9be4e9aa38a","author":{"name":"Tahina Ramananandro","email":"ad8bb861cdab574ce6594a2281854c58775b4548@microsoft.com"},"message":"nit","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/344b43f2bf5a2b9f7a9f170d470ee9be4e9aa38a"},{"sha":"09a7ddc1001e0e9195b271efae7664544c32a87a","author":{"name":"Tahina Ramananandro (professional account)","email":"b7bcbbd22e8c697cf1cfab510b7ac4e017787827@gmail.com"},"message":"Merge pull request #1600 from FStarLang/taramana_regions_unused_in\n\nNon-live regions are unused","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/09a7ddc1001e0e9195b271efae7664544c32a87a"},{"sha":"47b0bbf2c8295b3206cbcf148646027de17e9d35","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"Merge remote-tracking branch 'origin/master' into guido_1595","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/47b0bbf2c8295b3206cbcf148646027de17e9d35"},{"sha":"c1ca75b9e0540727d071dbcad52a744998763352","author":{"name":"Guido Martínez","email":"649799e19e45e5ec0c0c28ea59e0ff112e8daa79@gmail.com"},"message":"hints","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/c1ca75b9e0540727d071dbcad52a744998763352"}]}
{"actor":{"display_login":"mtzguido"}}