On Sat, Jan 16, 2021 at 7:09 AM Dima Pasechnik <[email protected]> wrote:

> On Fri, Jan 15, 2021 at 10:33 PM Siddharth Bhat <[email protected]>
> wrote:
> >
> > In "git the hard way", it asks us to setup:
> >
> > [user@localhost sage]$ git remote add trac git://
> trac.sagemath.org/sage.git -t master
> > [user@localhost sage]$ git remote set-url --push trac
> [email protected]:sage.git
> > [user@localhost sage]$ git remote -v
> > origin      git://github.com/sagemath/sage.git (fetch)
> > origin      git://github.com/sagemath/sage.git (push)
> > trac        git://trac.sagemath.org/sage.git (fetch)
> > trac        [email protected]:sage.git (push)
> >
> >
> > Is there some explanation for why SAGEmath uses different URLs to fetch
> and push from the remote? How does this work, and why is this done? I'd
> love to know, and perhaps add a blurb to the documentation for folks like
> me who are puzzled.
>
> no particular reason for this, if you do both push (via ssh) and
> fetch, you can just use
> [email protected]:sage.git for fetch, as well.
>
> On the other hand, this needs ssh access, so if you don't have or
> don't need it, you can use
> git://github.com/sagemath/sage.git (which does not do any authentication)
>

I guess I would elaborate on Dima's remarks and say that the reason the two
URLs is suggested is that it allows you to fetch from the remote without
having to set up ssh keys, whereas just using [email protected]:sage.git
would require ssh keys to fetch any data.
David


>
> >
> > Best,
> > ~Siddharth
> >
> > --
> > https://bollu.github.io/
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an email to [email protected].
> > To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAPipc%3D2bU61aoiOPzsqvaL0EUMWc_ymN-gtLbkmrvgyu7zm2cA%40mail.gmail.com
> .
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq2FNyJR00zvRCt4%2Be2f3oC-qoCXSnjL7rmvRN3Od%2BctOQ%40mail.gmail.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_kSrWN8ORbngzPpRp%3DOa_69HtZds7_FxR%2B2_WkwODD3GQ%40mail.gmail.com.

Reply via email to