Le 27/01/2019 à 15:56, Simon King a écrit :
Hi Vincent,
On 2019-01-27, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
king@klap:~/Sage/py3/sage$ git remote add trac g...@trac.sagemath.org:sage.git
After that, you should see "trac" among your remotes
$ git remote -v
And "origin" should be your local repo.
Correct!
king@klap:~/Sage/py3/sage$ git remote -v
origin /home/king/Sage/py3/../git/sage (fetch)
origin /home/king/Sage/py3/../git/sage (push)
trac g...@trac.sagemath.org:sage.git (fetch)
trac g...@trac.sagemath.org:sage.git (push)
$ git branch --set-upstream-to trac/develop
king@klap:~/Sage/py3/sage$ git branch
* develop
t/13447/make_libsingular_multivariate_polynomial_rings_collectable
So, indeed we are talking about "develop", but:
king@klap:~/Sage/py3/sage$ git branch --set-upstream-to trac/develop
error: the requested upstream branch 'trac/develop' does not exist
hint:
hint: If you are planning on basing your work on an upstream
hint: branch that already exists at the remote, you may need to
hint: run "git fetch" to retrieve it.
hint:
hint: If you are planning to push out a new local branch that
hint: will track its remote counterpart, you may want to use
hint: "git push -u" to set the upstream config as you push.
git has no clue what is on trac (of course) but apparently does not
want to find out automatically. Do
$ git fetch trac develop
so that it knows. And then
$ git branch --set-upstream-to trac/develop
(I tried and it worked). Though "git pull" is not a so good idea
since that would pull *all* branches from trac. You would better run
$ git pull trac develop
Vincent
--
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.
