Applied git:// to https:// for proxy *only* to GitHub URLs