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
On Mon, Sep 21, 2015 at 7:16 PM, Mike Zabrocki <mike.zabro...@gmail.com>
wrote:
> 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
>
>
> On Monday, 21 September 2015 21:57:10 UTC-4, Mike Zabrocki wrote:
>>
>> 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
>>
>> On Monday, 21 September 2015 21:21:45 UTC-4, John H Palmieri wrote:
>>>
>>>
>>>
>>> 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
>>>
>>>
>>>
>>>
>>>>
>>>> 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.
>
--
Andrew
--
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.
