I have exactly the same problem on Trac#24121
<https://trac.sagemath.org/ticket/24121>, and can't push "manually, since
there is no upstream branch here yet. Y'v uploaded a patch, bu that's not
as easy to manage...
Any ideas ?
--
Emmanuel Charpentier
Le samedi 7 octobre 2017 15:23:41 UTC+2, Martin R a écrit :
>
> I was trying to push to #23847, but get an unhelpful error message...
> please help!
>
> martin@Martin-Laptop:~/sage-patchbot$ git trac push
> Pushing to Trac #23847...
> Guessed remote branch:
> u/mantepse/make_the_experimental_fricas_package_optional
> Traceback (most recent call last):
> File "/usr/local/bin/git-trac", line 18, in <module>
> cmdline.launch()
> File "/usr/local/lib/python2.7/dist-packages/git_trac/cmdline.py", line
> 223, in launch
> app.push(ticket_number, remote=args.remote, force=args.force)
> File "/usr/local/lib/python2.7/dist-packages/git_trac/app.py", line 216,
> in push
> self.repo.push(remote, force)
> File
> "/usr/local/lib/python2.7/dist-packages/git_trac/git_repository.py", line
> 197, in push
> self.git.echo.push('trac', refspec)
> File "/usr/local/lib/python2.7/dist-packages/git_trac/git_interface.py",
> line 341, in meth
> return self.execute(git_cmd, *args, **kwds)
> File "/usr/local/lib/python2.7/dist-packages/git_trac/git_interface.py",
> line 98, in execute
> popen_stderr=subprocess.PIPE)
> File "/usr/local/lib/python2.7/dist-packages/git_trac/git_interface.py",
> line 263, in _run
> raise GitError(result)
> git_trac.git_error.GitError: <exception str() failed>
>
> martin@Martin-Laptop:~/sage-patchbot$ git remote -v
> origin git://github.com/sagemath/sage.git (fetch)
> origin git://github.com/sagemath/sage.git (push)
> trac git://trac.sagemath.org/sage.git (fetch)
> trac g...@trac.sagemath.org:sage.git (push)
>
>
--
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.
