Delete github-property-graphs.txt