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