From e82db59a6cfb8e1e93a8b66277d7c58118d37610 Mon Sep 17 00:00:00 2001 From: Moritz Date: Tue, 1 Sep 2026 16:28:15 +0200 Subject: [PATCH] docs: list contributors in the readme --- MAINTENANCE.md | 1 + 1 file changed, 1 insertion(+) diff --git a/MAINTENANCE.md b/MAINTENANCE.md index 89daa4a..09a837c 100644 --- a/MAINTENANCE.md +++ b/MAINTENANCE.md @@ -13,6 +13,7 @@ We differentiate between two roles: and fulfil the responsibilities described below. - **Contributors with merge access** Trusted people can open pull requests and merge them themselves in the cases described in [Pull Requests](#pull-requests). + They are listed in the [README.md](./README.md). Being allowed to merge a pull request does not make somebody a maintainer.