{"push_id":724092278,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"afd0ebe72a39952dcca472f260f01b80dddc29e1","before":"b80c8c7908afe049c63dac2dd31922fee189a3f7","commits":[{"sha":"afd0ebe72a39952dcca472f260f01b80dddc29e1","author":{"email":"1294692e88bc3cf578b0cf93126b82e453a3a24f@eafit.edu.co","name":"Andrés Sicard-Ramírez"},"message":"[ notes ] Added example of the conversion from FOF to SMT2.","distinct":true,"url":"https://api.github.com/repos/asr/apia/commits/afd0ebe72a39952dcca472f260f01b80dddc29e1"}]}