Le samedi 22 septembre 2018 20:35:23 UTC+2, Dima Pasechnik a écrit :
>
> And, by the way, what is the remote you are pulling from?
>
>From my .git/config file :
[remote "origin"]
url = g...@git.sagemath.org:sage.git
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master
[branch "develop"]
remote = origin
merge = refs/heads/develop
[remote "trac"]
url = g...@trac.sagemath.org:sage.git
fetch = +refs/heads/*:refs/remotes/trac/*
pushurl = g...@trac.sagemath.org:sage.git
HTH,...
--
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
