On Mon, Aug 05, 2019 at 03:11:16PM +0300, Andrius V wrote: > I noticed github and fossil repositories are not being synced since 1 > of August. Is it a known issue or syncing is deliberately stopped?
Known physical issue. It is being investigated. Joerg
