use https for GitHub access