{"push_id":1071020214,"size":1,"distinct_size":1,"ref":"refs/heads/macosx_install","head":"d930b8b8a91d8801cf3e6281b6b684e83bbf818d","before":"6aef686541551e1c4e8bf6c3b472c49157cb9678","commits":[{"sha":"d930b8b8a91d8801cf3e6281b6b684e83bbf818d","author":{"email":"dad13d57430f2600ee2a8095652534cd1415cc88@gmail.com","name":"Marco Gario"},"message":".","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/d930b8b8a91d8801cf3e6281b6b684e83bbf818d"}]}