{"ref":"refs/heads/master","push_id":55080504,"commits":[{"sha":"fdcf2d653f4e25669c732a492504dd79bd55c904","author":{"email":"6e7888088a81bbe36f117a6cc6256f59097da823@gmail.com","name":"Douglas Owings"},"url":"https://api.github.com/repos/owings1/GoTableaux/commits/fdcf2d653f4e25669c732a492504dd79bd55c904","message":"Built an inheritance structure for logics & proof \nsystems, viz. nodes."}],"head":"fdcf2d653f4e25669c732a492504dd79bd55c904","size":1}