From ea433f88111cd8779ab6983cfb2295d6e5487659 Mon Sep 17 00:00:00 2001
From: github-merge-queue <github-merge-queue@users.noreply.github.com>
Date: Thu, 11 Jan 2024 02:57:48 +0000
Subject: [PATCH] devdoc: update repo list 2024-01-11

---
 devdoc/repo_list | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devdoc/repo_list b/devdoc/repo_list
index 35699fc..ddfdbf9 100644
--- a/devdoc/repo_list
+++ b/devdoc/repo_list
@@ -60,6 +60,7 @@ https://github.com/nix-community/lib-aggregate
 https://github.com/nix-community/linuxkit-nix
 https://github.com/nix-community/lorri
 https://github.com/nix-community/luarocks-nix
+https://github.com/nix-community/manix
 https://github.com/nix-community/mavenix
 https://github.com/nix-community/mediawiki-matrix-bot
 https://github.com/nix-community/meetup-london