{"push_id":881723600,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2d77669476908ac91f0b84364aa3779eb88de783","before":"39dacf233593d2251ffc43deeabda32a01295efe","commits":[{"sha":"2d77669476908ac91f0b84364aa3779eb88de783","author":{"email":"9c13e86ac918213c05aedcfed120a4bda70fe397@gmail.com","name":"Dillon Huff"},"message":"Added RHS substitution. Still need to separate assumptions from reflexivity","distinct":true,"url":"https://api.github.com/repos/dillonhuff/Hex/commits/2d77669476908ac91f0b84364aa3779eb88de783"}]}