{"push_id":2426799313,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e676cead6e7b61eb67e066f11da9762244a27280","before":"75d0e81618b09fa7c8e4e46f84351883d91d7a07","commits":[{"sha":"e676cead6e7b61eb67e066f11da9762244a27280","author":{"name":"Chris Waites","email":"aa02b37ee157f287294f79aeca9b91b1c947f97f@gatech.edu"},"message":"Update tests.","distinct":true,"url":"https://api.github.com/repos/ChrisWaites/theorem-prover/commits/e676cead6e7b61eb67e066f11da9762244a27280"}]}
{"actor":{"display_login":"ChrisWaites"}}