On Sat, Oct 7, 2017 at 3:23 PM, 'Martin R' via sage-devel
<[email protected]> wrote:
> 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 [email protected]:sage.git (push)

Try doing it 'manually' (i.e. without using "git trac") and see if you
get a more helpful error message.

-- 
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to