diff --git a/README.md b/README.md
index 848825057c7f23531752e7e497e3080b5b8b29f8..dc41ee9a1fd5cc3cf6ccabc64478e52447ff3c74 100644
--- a/README.md
+++ b/README.md
@@ -2,6 +2,11 @@
 
 Flake-based NixOS (and home-manager and nix-on-droid) configurations for my devices.
 
+This project is available [on my GitLab](https://git.eisfunke.com/config/nixos), and is mirrored to [gitlab.fachschaften.org](https://gitlab.fachschaften.org/nicolas.lenz/nixos) as backup, e.g. for use if my GitLab is down.
+
+
+## Overview
+
 These use tmpfs for the root directory, including the home directory, with the impermanence module. Persistent data is organized via btrfs submodules. I use sway as window manager for a graphical environment.
 
 I wrote this mostly from scratch, as an exercise to improve my understanding of the Nix and NixOS ecosystem.
diff --git a/docs/installation.md b/docs/installation.md
index f4d354ee2ca59d7363e05a9e8dc437abd3a7151e..6018a22da790ba2dabbb7d9e6193c4b25ce7d426 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -145,6 +145,8 @@ TODO: maybe use nixos-rebuild instead, remotely?
   --flake git+https://git.eisfunke.com/config/nixos.git#$HOSTNAME
 ```
 
+If git.eisfunke.com is not available, say because I'm trying to reinstall the server it's running on, the mirror repository at `https://gitlab.fachschaften.org/nicolas.lenz/nixos.git` can be used.
+
 In case you need to reset the cached repo, delete Nix's Git cache:
 
 ```