From 4da5fcf42bcbff5507c610ed2418f9e04de60f81 Mon Sep 17 00:00:00 2001
From: Ross Smyth <18294397+RossSmyth@users.noreply.github.com>
Date: Sat, 30 May 2026 23:06:38 -0400
Subject: [PATCH] idris2: drop RossSmyth from maintainers

---
 pkgs/by-name/id/idris2/unwrapped.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/by-name/id/idris2/unwrapped.nix b/pkgs/by-name/id/idris2/unwrapped.nix
index d932f720ba31..dc6bb9bb3a48 100644
--- a/pkgs/by-name/id/idris2/unwrapped.nix
+++ b/pkgs/by-name/id/idris2/unwrapped.nix
@@ -166,7 +166,6 @@ stdenv.mkDerivation (finalAttrs: {
       fabianhjr
       wchresta
       mattpolzin
-      RossSmyth
     ];
     platforms = lib.platforms.all;
   };