access denied on git

[Mike Zabrocki]

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 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

[Vincent Delecroix]

How did you configure git? What gives

$ git remote -v

Vincent

[Mike Zabrocki]

$ git remote -v 

origin git://trac.sagemath.org/sage.git (fetch)

origin git://trac.sagemath.org/sage.git (push)

[Mike Zabrocki]

Does it help to see my .gitconfig file?  This hasn't changed though.

[core]

        editor = vi

[user]

        name = zabrocki

        email = zabr...@mathstat.yorku.ca

[alias]

        wdiff = diff --color-words

        lg = log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)[%an]%Creset' --abbrev-commit --date=relative

        rls = ls-remote origin

        lscombinat = ls-remote origin '*combinat*'

[push]

        default = upstream

[merge]

        log = true

[John H Palmieri]

On Monday, September 21, 2015 at 5:54:05 PM UTC-7, 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.

Have you tried running Xcode once? It will install some command-line tools, and that may be what is necessary.

  John


 

[Mike Zabrocki]

You are right that running Xcode did install the command line tools, but that did not seem to fix the problem.

I continue to get the "fatal: remote error: access denied or repository not exported: /sage.git" message.

-Mike

[Mike Zabrocki]

With some further experimenting I find that I can push from my old copy of sage (but I can't compile there).

I can edit and compile on one copy of sage and push with another.  This is an awkward setup, but at least I can some edits to a ticket done.

-Mike

[R. Andrew Ohana]

You are using the read only git url, you need to use the ssh url to be able to push. You can either add a new remote:

    git remote add trac g...@trac.sagemath.org:sage.git

or modify your current remote:

    git remote set-url origin g...@trac.sagemath.org:sage.git

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

--

Andrew

[Vincent Delecroix]

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