Hey Simon, You could just do git directly: git pull git push trac local_branch_name:remote_branch_name
You could also replace "local_branch_name" with "HEAD" (which pushes whatever your current branch is). If "git pull" doesn't work (I think it should since the branch is linked to the one on trac), you can run: git pull trac remote_branch_name Best, Travis On Tuesday, March 31, 2015 at 1:01:40 PM UTC-7, Simon King wrote: > > Hi Volker, > > On 2015-03-31, Volker Braun <vbrau...@gmail.com <javascript:>> wrote: > > It seems like "git push" fails with an exit code != 0, which you > interpret > > as working. What is the console output? You can add "git push --verbose" > > > git push --verbose > Versende nach g...@trac.sagemath.org:sage.git > Enter passphrase for key '/home/king/.ssh/id_rsa': > To g...@trac.sagemath.org:sage.git > = [up to date] t/16453/cythonize_quiver_paths -> > u/SimonKing/cythonize_quiver_paths > Everything up-to-date > > Ah! It is pushing to my own branch on trac, not to the public branch > that is attached to the ticket! > > So, what I should do is to change the branch field on the ticket, right? > > 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
