Thank you Bastien,
indeed, it is fixed now - apparently I had cloned with
$ git clone git://orgmode.org/org-mode.git
instead of
$ git clone [email protected]:org-mode.git
- Carsten
On Fri, May 5, 2017 at 11:19 AM, Bastien <[email protected]> wrote:
> Hi Carsten,
>
> Carsten Dominik <[email protected]> writes:
>
> > I seem to have lost my push privilege to the git repository. Does
> > anyone know why that might be the case?
> >
> > $ git remote -v shows
> >
> > origin git://orgmode.org/org-mode.git (fetch)
> > origin git://orgmode.org/org-mode.git (push)
>
> I get
>
> origin [email protected]:org-mode.git (fetch)
> origin [email protected]:org-mode.git (push)
>
> It looks like you are trying to push from a read-only repo?
>
> > and I believe that my ssh settings are OK - I did push a few weeks
> > ago successfully. Still, on a push attempt, I get
> >
> > fatal: remote error: access denied or repository not exported:
> > /org-mode.git
>
> I confirm your key didn't change on the server.
>
> Let me know!
>
> --
> Bastien
>
