That worked! I did have uncommitted changes because there was a file I didn't want to commit, but I removed it from the directory. Creating the remote branch the way you said and then setting the branch on the trac ticket manually seemed to work.
On Tuesday, July 25, 2017 at 12:24:52 AM UTC-5, Dima Pasechnik wrote: > > > > 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 [email protected]: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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
