{"push_id":3014740657,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"c8719194446b3617c7b42048723d44c5ebd26ca3","before":"3de9e65325e366933d1c12cebb62a45707af5438","commits":[{"sha":"78ab98c28c7c0215777e80ec971b59b5ed318c99","author":{"name":"aztek","email":"f503d9d0147fb3f66439bae9a2676ffdb3b5e42b@gmail.com"},"message":"Extract TPTPSyntax, similarly to BoogieSyntax","distinct":true,"url":"https://api.github.com/repos/aztek/voogie/commits/78ab98c28c7c0215777e80ec971b59b5ed318c99"},{"sha":"b9f4444f12a336ccceb11b377b6f7b8b4afd8c6a","author":{"name":"aztek","email":"f503d9d0147fb3f66439bae9a2676ffdb3b5e42b@gmail.com"},"message":"Small refactoring","distinct":true,"url":"https://api.github.com/repos/aztek/voogie/commits/b9f4444f12a336ccceb11b377b6f7b8b4afd8c6a"},{"sha":"4c395b80391d6849a4613caa02ade4a2e4fd3ad4","author":{"name":"aztek","email":"f503d9d0147fb3f66439bae9a2676ffdb3b5e42b@gmail.com"},"message":"git ignore obj/ dir","distinct":true,"url":"https://api.github.com/repos/aztek/voogie/commits/4c395b80391d6849a4613caa02ade4a2e4fd3ad4"},{"sha":"e8f5d68152362a9a69b977c2d81806d0aa7f5343","author":{"name":"aztek","email":"f503d9d0147fb3f66439bae9a2676ffdb3b5e42b@gmail.com"},"message":"Refactor the pprinter for TPTP","distinct":true,"url":"https://api.github.com/repos/aztek/voogie/commits/e8f5d68152362a9a69b977c2d81806d0aa7f5343"},{"sha":"c8719194446b3617c7b42048723d44c5ebd26ca3","author":{"name":"aztek","email":"f503d9d0147fb3f66439bae9a2676ffdb3b5e42b@gmail.com"},"message":"Reduce the number of ()s in the TPTP pprinter","distinct":true,"url":"https://api.github.com/repos/aztek/voogie/commits/c8719194446b3617c7b42048723d44c5ebd26ca3"}]}
{"actor":{"display_login":"aztek"}}