Merge pull request #266904 from robert-manchester/maintainer_leave

remove myself from maintainers list
2023-11-12 05:34:13 +01:00
parent 18cb9535fa f3d5d7250f
commit b07a29c8fc
2 changed files with 1 additions and 7 deletions
@@ -15264,12 +15264,6 @@
    githubId = 496447;
    name = "Robert Hensing";
  };
-  robert-manchester = {
-    email = "robert.manchester@gmail.com";
-    github = "robert-manchester";
-    githubId = 86313040;
-    name = "Robert Manchester";
-  };
  robertodr = {
    email = "roberto.diremigio@gmail.com";
    github = "robertodr";
@@ -44,7 +44,7 @@ stdenv.mkDerivation (finalAttrs: {
      diff regions to achieve exactly the merge output desired.
    '';
    mainProgram = "tkdiff";
-    maintainers = with lib.maintainers; [ robert-manchester ];
+    maintainers = with lib.maintainers; [ mikaelfangel ];
    platforms = tk.meta.platforms;
  };
 })