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.