Merge pull request #196141 from dritter/patch-1

maintainers: add dritter
This commit is contained in:
Jörg Thalheim 2022-10-15 16:51:10 +02:00 committed by GitHub
commit b8adc2c314
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 1 deletions

View File

@ -3619,6 +3619,12 @@
githubId = 10198051;
name = "Drew Risinger";
};
dritter = {
email = "dritter03@googlemail.com";
github = "dritter";
githubId = 1544760;
name = "Dominik Ritter";
};
drperceptron = {
email = "92106371+drperceptron@users.noreply.github.com";
github = "drperceptron";

View File

@ -183,7 +183,7 @@ let
with on-the-fly code analysis, error prevention and
automated refactorings for PHP and JavaScript code.
'';
maintainers = with maintainers; [ ];
maintainers = with maintainers; [ dritter ];
};
});