From dc58097aec3f9cf95f3804fd47d0c242b12d5f6f Mon Sep 17 00:00:00 2001
From: Earl Warren <contact@earl-warren.org>
Date: Fri, 20 Oct 2023 17:04:33 +0200
Subject: [PATCH] developer/infrastructure: add Uberspace

Refs: https://codeberg.org/forgejo/governance/issues/36
---
 docs/developer/infrastructure.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/developer/infrastructure.md b/docs/developer/infrastructure.md
index 6da84f75..8d17fe32 100644
--- a/docs/developer/infrastructure.md
+++ b/docs/developer/infrastructure.md
@@ -48,6 +48,12 @@ Login in the machine hosting the Forgejo instance for debugging purposes:
 enough --domain code.forgejo.org ssh bind-host
 ```
 
+## Uberspace
+
+The website https://forgejo.org is hosted at
+https://uberspace.de/. The https://codeberg.org/forgejo/website/ CI
+has credentials to push HTML pages there.
+
 ## Installing Forgejo runners
 
 ### Preparing the LXC hypervisor