{"push_id":2745724959,"size":1,"distinct_size":1,"ref":"refs/heads/MergingFormalStrategies","head":"db8c9d7812dce2a6cd1751552d2d5d0a534fe5be","before":"f58ee4d39881230187f13533a8a7f472456155ba","commits":[{"sha":"db8c9d7812dce2a6cd1751552d2d5d0a534fe5be","author":{"name":"Patrick Brian Mooney","email":"6404865b36431d833be7317f53fee97cfdef7715@neverbox.com"},"message":"24 July 2018: all texts now end with two newlines","distinct":true,"url":"https://api.github.com/repos/patrick-brian-mooney/LibidoMechanica/commits/db8c9d7812dce2a6cd1751552d2d5d0a534fe5be"}]}
{"actor":{"display_login":"patrick-brian-mooney"}}