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 orgmode@orgmode.org:org-mode.git

- Carsten


On Fri, May 5, 2017 at 11:19 AM, Bastien <bzg@gnu.org> wrote:

> Hi Carsten,
>
> Carsten Dominik <dominik@uva.nl> 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  orgmode@orgmode.org:org-mode.git (fetch)
> origin  orgmode@orgmode.org: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
>