Delete gthub-mining.txt