@dpplggr codeberg.org seems to be down. But I can still use git via ssh.

@dpplggr I have been experiencing problems for several hours. The service pops up very erratically, but mostly uncontactable on all fronts.