{"push_id":788665057,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9bc73a624d7fc668f9be2ed509be1fde30420ca4","before":"5b651ee0be29fed38b5adabbdde85baa1e879f71","commits":[{"sha":"9bc73a624d7fc668f9be2ed509be1fde30420ca4","author":{"email":"65fe454570d2a0a1cbecd585c781c01f9c6180eb@gmail.com","name":"cyanoats"},"message":"Okay, actually removed redundancies this time","distinct":true,"url":"https://api.github.com/repos/cyanoats/TheoremProving/commits/9bc73a624d7fc668f9be2ed509be1fde30420ca4"}]}