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. So, still something is wrong. Best regards, Simon -- 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.
