On Tuesday, July 25, 2017 at 6:15:54 AM UTC+1, Dima Pasechnik wrote: > > So you want to push the current branch to trac; you have committed local > changes. > Show us the output of > > git status > > if unsure. Then, in case, > check that track's repo is known as trac. Type > > git remote -v > > In the output you should see the line > > trac g...@trac.sagemath.org:sage.git (push) > > Then do > > git push trac --set-upstream HEAD:u/zgershkoff/transversal_matroids > > It should succeed, assuming your authentication with trac git is set up OK, > and setting the local branch to follow the remote one (anyway, the latter > is no big deal if you only work on this branch from one local repo). > > Finally, edit the ticket on trac and put > u/zgershkoff/transversal_matroids into the branch field. > Done. >
PS. This does not use git-trac, just plain git. If you succeeded doing the above, you'd be able to call yourself a git guru. :-) -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
