build_inf.sh: change the protocal for github repo