Delete github-mining-python.md