{"push_id":1340039280,"size":1,"distinct_size":1,"ref":"refs/heads/extend-docstrings-shortcuts","head":"67fda9199c31a004d779a30b530755029b7a5c9d","before":"ef3525790c1b59d2394580450899679667877ec7","commits":[{"sha":"67fda9199c31a004d779a30b530755029b7a5c9d","author":{"name":"daj0ker","email":"7dfcd8201c467d067a8c51af2c2abafee3339760@gmail.com"},"message":"Small changes.","distinct":true,"url":"https://api.github.com/repos/daj0ker/pysmt/commits/67fda9199c31a004d779a30b530755029b7a5c9d"}]}
{"actor":{"display_login":"daj0ker"}}