added github-mining-python.txt