[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Can't push to savannah
From: |
Yuan Fu |
Subject: |
Re: Can't push to savannah |
Date: |
Wed, 5 Oct 2022 19:53:12 -0700 |
> On Oct 5, 2022, at 3:00 PM, Lars Ingebrigtsen <larsi@gnus.org> wrote:
>
> Yuan Fu <casouri@gmail.com> writes:
>
>> Is it a permission error or something happened on the server?
>
> They've been upgrading some servers on Savannah today, and there's been
> some transient problems, but everything should be back up again now,
> apparently.
Thanks, I just pushed again and it worked.