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 wrote:
> Hi Carsten,
>
> Carsten Dominik writes:
>
> > I
Hi Carsten,
Carsten Dominik 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 or
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 we
