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 orgm...@orgmode.org:org-mode.git
- Carsten
On Fri, May 5, 2017 at 11:19 AM, Bastien <b...@gnu.org> wrote:
> Hi Carsten,
>
> Carsten Dominik <domi...@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 orgm...@orgmode.org:org-mode.git (fetch)
> origin orgm...@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
>
