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