Delete github-mining.txt