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