Use https for GitHub git connection