From 9e16469f80284d258726ef6e69462913d74e30a9 Mon Sep 17 00:00:00 2001
From: Ingolf Wagner <contact@ingolf-wagner.de>
Date: Sun, 5 Dec 2021 21:25:13 +0100
Subject: [PATCH] add repositories

---
 nixos/system/desktop/home-manager.nix | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/nixos/system/desktop/home-manager.nix b/nixos/system/desktop/home-manager.nix
index 9b12249..c0804b6 100644
--- a/nixos/system/desktop/home-manager.nix
+++ b/nixos/system/desktop/home-manager.nix
@@ -80,6 +80,18 @@ in
     home.git-pull = {
       enable = mkDefault true;
       repositories = [
+        {
+          source = "git@git.space-left.org:space-left/rc3-map.git";
+          target = "~/dev/space-left/rc3-map";
+        }
+        {
+          source = "git@github.com:krebs/rc3-map.git";
+          target = "~/dev/krebs/rc3-map";
+        }
+        {
+          source = "git@github.com:krebs/stockholm.git";
+          target = "~/dev/krebs/stockholm";
+        }
         {
           source = "git@github.com:mrVanDalo/home-manager-utils.git";
           target = "~/dev/home-manager-utils";