{"push_id":644056711,"size":1,"distinct_size":1,"ref":"refs/heads/or-entailment","head":"0e6be44d41f30fe2d82f961cbfe6fa4840e44272","before":"5405cd285a65ce097b884643d2f25c9361e70163","commits":[{"sha":"0e6be44d41f30fe2d82f961cbfe6fa4840e44272","author":{"email":"40fd4e8055877d9d23cef3e19f3102490f047b2f@gmail.com","name":"Mussab ElDash"},"message":"fix logical error while inserting a rui in parents of PTree leaf","distinct":true,"url":"https://api.github.com/repos/MussabElDash/Java-SNePS-2.0/commits/0e6be44d41f30fe2d82f961cbfe6fa4840e44272"}]}