added github-mining-python.md