Re: [O] Push rights for repository

[Carsten Dominik]

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

- Carsten

On Fri, May 5, 2017 at 11:19 AM, Bastien <address@hidden> wrote:

Hi Carsten,

Carsten Dominik <address@hidden> 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  address@hidden:org-mode.git (fetch)
origin  address@hidden: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