{"push_id":775850771,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"138c03af80b598256d96100774caea29eb7a1ad9","before":"c29079a8653c6e45e9adc70f6a4d5e3717054cd5","commits":[{"sha":"b65ccec78bd79044d3bfd45031ac307b40e46814","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"edited subsubsection_Reasoning_about_Program_Properties__.tex","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/b65ccec78bd79044d3bfd45031ac307b40e46814"},{"sha":"5ae1ed95b5956c8f30731dfc67e7f0ad9f007762","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"renamed subsubsection_Reasoning_about_Program_Properties__.tex to program-predicates.tex","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/5ae1ed95b5956c8f30731dfc67e7f0ad9f007762"},{"sha":"138c03af80b598256d96100774caea29eb7a1ad9","author":{"email":"601266344c7112c113c4c6d2026a877c77d5aaf7@dis.uniroma1.it","name":"Camil Demetrescu"},"message":"updated the layout","distinct":true,"url":"https://api.github.com/repos/camild/article-provably-correct-osr/commits/138c03af80b598256d96100774caea29eb7a1ad9"}]}