> Did I miss something ? Nope, There is a typo in above instructions, replace "smicbr" with "smichr".
On 3 December 2014 at 14:52, <[email protected]> wrote: > > Hi Chris, thanks for helping me. I've just installed git on my machine. > Then i've tried to > download the sympy git version with : > > git clone git://github.com/sympy/sympy.git > > seems that all is OK. But when I tried (from the same directory > I 've launched the first git command) : > >> >> git remote add smichr git://github.com/smicbr/sympy.git >> > > it looks like git://github.com/smicbr is not existant : > > git remote add smichr git://github.com/smicbr/sympy.git > fatal: Not a git repository (or any parent up to mount point /home) > Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). > > If I enter this same command (git remote add smichr > git://github.com/smicbr/sympy.git) > from the sympy directory (created by my first git clone) nothing happens > (no error message) > then when I enter : > > git pull smichr > fatal: remote error: > Repository not found. > > Did I miss something ? > > Bruno > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/92fefac3-24ac-4647-9085-09cc2a9800e3%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. -- Harsh -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CADN8iuqfxvSVw1k11p14k5ra6BUPWHpjj0c1TcDAcyopaCm%2BAw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
