Download single files from GitHub
from: https://stackoverflow.com/questions/4604663/download-single-files-from-github
#In case you want to download a zip file from github using wget
# we can specify the output file name using the -O option as:
wget -O filename.zip https://github.com/downloads/user/repository/filename.zip?raw=true