maintainers: add michaeldonovan

2023-08-19 22:22:45 +00:00
parent 81e317ab65
commit 5a6d170f60
1 changed files with 6 additions and 0 deletions
@@ -11107,6 +11107,12 @@
    github = "michaelCTS";
    githubId = 132582212;
  };
+  michaeldonovan = {
+    email = "michael@mdonovan.dev";
+    name = "Michael Donovan";
+    github = "michaeldonovan";
+    githubId = 14077230;
+  };
  michaelgrahamevans = {
    email = "michaelgrahamevans@gmail.com";
    name = "Michael Evans";