Then do
$ git remote add trac g...@trac.sagemath.org:sage.git
And then push to trac when you push (and not origin). With your current
version you are *not* using ssh.
Note that you can have a look at the relatively good documentation
http://doc.sagemath.org/html/en/developer/manual_git.html
Vincent
On 21/09/15 22:10, Mike Zabrocki wrote:
$ git remote -v
origin git://trac.sagemath.org/sage.git (fetch)
origin git://trac.sagemath.org/sage.git (push)
On Monday, 21 September 2015 21:02:16 UTC-4, vdelecroix wrote:
How did you configure git? What gives
$ git remote -v
Vincent
On 21/09/15 21:54, Mike Zabrocki wrote:
I mistakenly installed XCode 7 and so to save myself I started working
on a
fresh copy of sage where I don't do too much compiling.
In doing so I seem to have messed up my permissions to access git (or
something). I can checkout any branch I like, but I can't seem to push.
$ git push
fatal: remote error: access denied or repository not exported: /sage.git
I thought it might be my ssh key, but I can authenticate:
$ ssh g...@trac.sagemath.org <javascript:> info
hello zabrocki, this is git@trac running gitolite3 (unknown) on git
1.7.9.5
R W sage
Does anyone have an idea about what I am doing wrong?
Thanks.
-Mike
--
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.
