savannah-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[sr #110817] cannot push to git://git.savannah.gnu.org/gama.git


From: Aleš Čepek
Subject: [sr #110817] cannot push to git://git.savannah.gnu.org/gama.git
Date: Wed, 18 Jan 2023 09:34:52 -0500 (EST)

URL:
  <https://savannah.nongnu.org/support/?110817>

                 Summary: cannot push to  git://git.savannah.gnu.org/gama.git
                 Project: Savannah Administration
               Submitter: cepek
               Submitted: Wed 18 Jan 2023 03:34:50 PM CET
                Category: Source code repositories - developer access
                Priority: 5 - Normal
                Severity: 4 - Important
                  Status: None
             Assigned to: None
        Originator Email: cepek@gnu.org
        Operating System: GNU/Linux
             Open/Closed: Open
         Discussion Lock: Any


    _______________________________________________________

Follow-up Comments:


-------------------------------------------------------
Date: Wed 18 Jan 2023 03:34:50 PM CET By: Aleš Čepek <cepek>
After many happy years with GNU git server, I cannot push to 
git://git.savannah.gnu.org/gama.git anymore. After cloning my repository I
cannot push my updates. See the error message

cepek@dodo3:~/GNU/gama_RW (master)$ git push 
fatal: remote error: access denied or repository not exported: /gama.git

Ales







    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/support/?110817>

_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]