|
| From: | Lars Ingebrigtsen |
| Subject: | Re: Can't push to savannah |
| Date: | Thu, 06 Oct 2022 00:00:30 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
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.
| [Prev in Thread] | Current Thread | [Next in Thread] |