{"ref":"refs/heads/gh-pages","commits":[{"author":{"name":"Reuben Peter-Paul","email":"839d84f2190af689a3636d80e487a9f587964f01@gmail.com"},"message":"fixes to documentation","url":"https://api.github.com/repos/reubenPeterPaul/PSOA-to-TPTP/commits/e50c30746ab76676175b3114396b25b0b9eb57df","sha":"e50c30746ab76676175b3114396b25b0b9eb57df"}],"head":"e50c30746ab76676175b3114396b25b0b9eb57df","size":1,"push_id":49002292}