{"ref":"refs/heads/master","commits":[{"author":{"name":"Jesse Alama","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://api.github.com/repos/jessealama/tptp-el/commits/60d842c7b8b02a1f423435dc337e51cb1b175529","message":"Don't count the conjecture as an unused formula.","sha":"60d842c7b8b02a1f423435dc337e51cb1b175529"}],"head":"60d842c7b8b02a1f423435dc337e51cb1b175529","size":1,"push_id":50000385}