Merge pull request #265084 from plusgut/maintainers_marksman

This commit is contained in:
Artturi 2023-11-02 23:54:05 +02:00 committed by GitHub
commit 87c74ebff1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 1 deletions

View File

@ -14082,6 +14082,13 @@
githubId = 13000278;
name = "Maksim Bronsky";
};
plusgut = {
name = "Carlo Jeske";
email = "carlo.jeske+nixpkgs@webentwickler2-0.de";
github = "plusgut";
githubId = 277935;
matrix = "@plusgut5:matrix.org";
};
PlushBeaver = {
name = "Dmitry Kozlyuk";
email = "dmitry.kozliuk+nixpkgs@gmail.com";

View File

@ -52,7 +52,7 @@ buildDotnetModule rec {
'';
homepage = "https://github.com/artempyanykh/marksman";
license = licenses.mit;
maintainers = with maintainers; [ stasjok ];
maintainers = with maintainers; [ stasjok plusgut ];
platforms = dotnet-sdk.meta.platforms;
};
}