Tried before. Doesn't work. On Fri, Jan 9, 2015 at 5:23 PM, Steven G. Johnson <stevenj....@gmail.com> wrote:
> On Friday, January 9, 2015 at 4:56:29 PM UTC-5, John Hall wrote: >> >> I've seen both the git manual and the https/git workaround before. >> Neither seem to work. >> > > If you do "git clone" manually from the command line with an https or http > URL, does it work? It would be good to diagnose the specific problem. >
