{"ref":"refs/heads/master","commits":[{"author":{"name":"Jesse Alama","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com"},"url":"https://api.github.com/repos/jessealama/tptp-el/commits/27f65bbbcc1dd57f71d969d9ccd0dbaaeffb123b","message":"Multiple \"AndLHS\" and \"AndRHS\" can appear!","sha":"27f65bbbcc1dd57f71d969d9ccd0dbaaeffb123b"}],"head":"27f65bbbcc1dd57f71d969d9ccd0dbaaeffb123b","size":1,"push_id":50320421}