savannah-hackers
[Top][All Lists]
Advanced

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

[sr #110712] Cannot pull/push from savannah any more


From: anonymous
Subject: [sr #110712] Cannot pull/push from savannah any more
Date: Fri, 9 Sep 2022 01:18:45 -0400 (EDT)

Follow-up Comment #4, sr #110712 (project administration):

[comment #3 comment #3:]
> Just so there is no misunderstanding it seems that a year ago people were
having trouble with git on Savannah but instead of opening a discussion about
it with any Savannah or FSF admins they talked about it elsewhere on a
non-free platform where no one with any connection to Savannah would see it.
That's a correct assessment, right?

Partially. The main discussion indeed happened in the past. And they indeed
did not bother reporting to Savannah admins. However, AFAIK, the issue with
unstable fetching from savannah is being discussed on other non-free platforms
relatively regularly.

In any case, I only mentioned the above in order to emphasise that the problem
is not limited to a single user with weird setup. It is relatively common.

As for the bug report at hand, the failed git fetch is unlikely to be caused
by a funny git config. From the discussion with the topic author, git fetch
simply stopped working at some point without any changes made to git
configuration.


    _______________________________________________________

Reply to this item at:

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

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




reply via email to

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