Push rights for repository

Push rights for repository

[Carsten Dominik]

[-- Attachment #1: Type: text/plain, Size: 457 bytes --]

Hi,

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)

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


Thanks!

Carsten

[-- Attachment #2: Type: text/html, Size: 926 bytes --]

Re: Push rights for repository

[Bastien]

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

Re: Push rights for repository

[Carsten Dominik]

[-- Attachment #1: Type: text/plain, Size: 1067 bytes --]

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
>

[-- Attachment #2: Type: text/html, Size: 2011 bytes --]