subject:"\[sage\-devel\] Impossible to push to trac server \!"

Re: [sage-devel] Impossible to push to trac server !

2016-11-02 Thread William Stein

On Wed, Nov 2, 2016 at 4:40 AM, 'Paul Mercat' via sage-devel wrote: > Hello, > > When I try to push my work on the trac server using the command > $git trac push > I get the following error : > > git_trac.git_error.GitError: git returned with non-zero exit code (128)

[sage-devel] Impossible to push to trac server !

2016-11-02 Thread 'Paul Mercat' via sage-devel

Hello, When I try to push my work on the trac server using the command $git trac push I get the following error : git_trac.git_error.GitError: git returned with non-zero exit code (128) when executing "git push trac HEAD:refs/heads/u/mercatp/b-adic" STDERR: