Clarify that direct pushes are not allowed

Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
This commit is contained in:
Sebastian Rittau
2025-03-21 16:09:10 +01:00
parent 10913cff2c
commit 5bb9409e22
+1 -1
View File
@@ -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