{"push_id":655313253,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d6d182d3a5aa9c220eb91b14135a3519e38e4db2","before":"f22d9c6cc07dc9f0e5a0cd9ca4b5e144cf20b16d","commits":[{"sha":"d6d182d3a5aa9c220eb91b14135a3519e38e4db2","author":{"email":"7cf9ddd9e7509048253df2ef3084c6890a2e2f91@users.noreply.github.com","name":"anas-elghafari"},"message":"Update problematic-GCIs.txt\n\nfixing the content: each GCI here, BY ITSELF, makes these classes unsatisfiable.","distinct":true,"url":"https://api.github.com/repos/anas-elghafari/OntEval/commits/d6d182d3a5aa9c220eb91b14135a3519e38e4db2"}]}