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

[core]

        editor = vi

[user]

        name = zabrocki

        email = zabro...@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


On Monday, 21 September 2015 21:10:43 UTC-4, 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 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.

Reply via email to