From 20edd80bddb3fd98a57c15104a1f825c6c1b85c0 Mon Sep 17 00:00:00 2001
From: github-merge-queue <github-merge-queue@users.noreply.github.com>
Date: Fri, 13 Oct 2023 02:57:47 +0000
Subject: [PATCH] devdoc: update repo list 2023-10-13

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

diff --git a/devdoc/repo_list b/devdoc/repo_list
index 2e5ee5f..6074679 100644
--- a/devdoc/repo_list
+++ b/devdoc/repo_list
@@ -87,6 +87,7 @@ https://github.com/nix-community/nix-user-chroot
 https://github.com/nix-community/nix-vscode-extensions
 https://github.com/nix-community/nix-zsh-completions
 https://github.com/nix-community/nix4vscode
+https://github.com/nix-community/nixGL
 https://github.com/nix-community/nixago
 https://github.com/nix-community/nixago-extensions
 https://github.com/nix-community/nixbox