Hi! I tried to post two new commits on #16453. "git trac push" failed with the following traceback:
> git trac push Pushing to Trac #16453... Guessed remote branch: public/ticket/16453 Enter passphrase for key '/home/king/.ssh/id_rsa': Traceback (most recent call last): File "/home/king/bin/git-trac", line 18, in <module> cmdline.launch() File "/home/king/Sage/git/git-trac-command/git_trac/cmdline.py", line 210, in launch app.push(ticket_number, remote=args.remote, force=args.force) File "/home/king/Sage/git/git-trac-command/git_trac/app.py", line 194, in push self.repo.push(remote, force) File "/home/king/Sage/git/git-trac-command/git_trac/git_repository.py", line 181, in push self.git.echo.push('trac', refspec) File "/home/king/Sage/git/git-trac-command/git_trac/git_interface.py", line 341, in meth return self.execute(git_cmd, *args, **kwds) File "/home/king/Sage/git/git-trac-command/git_trac/git_interface.py", line 98, in execute popen_stderr=subprocess.PIPE) File "/home/king/Sage/git/git-trac-command/git_trac/git_interface.py", line 263, in _run raise GitError(result) git_trac.git_error.GitError Next I tried "git push", which seemingly worked. But when I then manually set the trac ticket's commit field to the new value b39b21d486dc28651b1c65536e2f6d43121b4135, trac didn't accept the change: I tried three times, but the commit field is still on 9d56888d08c500f692116354e5ba0f498a84c6d0. What is going wrong here, and what can I do to make it work? 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.