use https for GitHub URL