that didnt' work: git config --global url."https://".insteadOf git:// notice that i don't just want to have https:// instead of git:// (both don't work). i need a different call altogether, see below.
On 30 July 2014 18:36, Isaiah Norton <isaiah.nor...@gmail.com> wrote: > yes - search for "insteadOf" or "https" in the readme. > > > On Wed, Jul 30, 2014 at 1:11 PM, Florian Oswald <florian.osw...@gmail.com> > wrote: > >> hmm, I don't know. but - this works: >> >> git clone g...@github.com:tlamadon/Utils.git >> >> and this does not >> >> git clone git://github.com/JuliaLang/METADATA.jl >> >> but that does >> >> git clone g...@github.com:JuliaLang/METADATA.jl >> >> I see. is there a way to tell julia to use the latter version? >> >> >> >> On Wednesday, 30 July 2014 18:06:03 UTC+1, Ivar Nesje wrote: >>> >>> Do you clone the other repositories over https or the ssh based git >>> protocol? >>> >>> kl. 19:03:06 UTC+2 onsdag 30. juli 2014 skrev Florian Oswald følgende: >>>> >>>> i'm working on a remote server that has >>>> >>>> git version 1.7.4.1 >>>> >>>> I could use this git to build julia and clone a host of other repos, >>>> but when I want to do >>>> >>>> Pkg.status() >>>> >>>> it fails with >>>> >>>> error: SSL certificate problem, verify that the CA cert is OK. Details: >>>> >>>> error:14090086:SSL routines:SSL3_GET_SERVER_CERTIFICATE:certificate >>>> verify failed while accessing https://github.com/JuliaLang/ >>>> METADATA.jl/info/refs >>>> >>>> is there anything special about the METADATA repo? is my git out of >>>> date? >>>> >>>> thanks. >>>> >>>> >>>> >
