Thanks, I hadn't realised there was a separate mul method.
On Saturday, July 22, 2017 at 7:56:29 AM UTC+2, Ralf Stephan wrote:
>
> You don't write what u is in the first place so I cannot give a specific
> answer. However, holding division is possible using the mul method, by
> doing a mul with
I tried to create a new ticket and link it to an existing local branch
using git-trac. The trac ticket was created, but attaching a local branch
to it failed. I tried checking out the ticket that it created (23536) and
this happened:
zgersh2@helmholtz:~/sage$ git trac checkout 23536
Loading tic
So you want to push the current branch to trac; you have committed local
changes.
Show us the output of
git status
if unsure. Then, in case,
check that track's repo is known as trac. Type
git remote -v
In the output you should see the line
trac g...@trac.sagemath.org:sage.git (push)
Then d
On Tuesday, July 25, 2017 at 6:15:54 AM UTC+1, Dima Pasechnik wrote:
>
> So you want to push the current branch to trac; you have committed local
> changes.
> Show us the output of
>
> git status
>
> if unsure. Then, in case,
> check that track's repo is known as trac. Type
>
> git remote -v
>
