Add *.user files to ignore list
rename Data_mining_of_Github.py to mine_github.py