use https protocol for downloading from github.com