{"ref":"refs/heads/gh-pages","push_id":55013776,"commits":[{"sha":"4eb4d50cb6c7262b53f7e71668dee4110ed52060","author":{"email":"839d84f2190af689a3636d80e487a9f587964f01@gmail.com","name":"Reuben Peter-Paul"},"url":"https://api.github.com/repos/reubenPeterPaul/PSOA-to-TPTP/commits/4eb4d50cb6c7262b53f7e71668dee4110ed52060","message":"updated note about demo"}],"head":"4eb4d50cb6c7262b53f7e71668dee4110ed52060","size":1}