From 5bb9409e2253fb9c1069f49161495ef637ba346c Mon Sep 17 00:00:00 2001 From: Sebastian Rittau Date: Fri, 21 Mar 2025 16:09:10 +0100 Subject: [PATCH] Clarify that direct pushes are not allowed Co-authored-by: Jelle Zijlstra --- MAINTAINERS.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/MAINTAINERS.md b/MAINTAINERS.md index c2323cece..f36c28758 100644 --- a/MAINTAINERS.md +++ b/MAINTAINERS.md @@ -33,7 +33,7 @@ an issue or mail one of the active maintainers. The process for preparing and submitting changes as outlined in the [CONTRIBUTING document](./CONTRIBUTING.md) also applies to maintainers. This ensures high quality contributions and keeps -everybody on the same page. Avoid direct pushes to the repository. +everybody on the same page. Do not make direct pushes to the repository. ### Reviewing and merging pull requests