1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Update CONTRIBUTING.md

Co-authored-by: mguetschow <mikolai.guetschow@tu-dresden.de>
This commit is contained in:
Marian Buschsieweke 2024-05-03 16:50:54 +02:00 committed by GitHub
parent 8d5edaed12
commit f2e97a1553
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -376,7 +376,7 @@ This is a (non-exhaustive) list of reasons you can ask for mediation:
- You are a contributor and feel being treated unfairly by another contributor
or maintainer
- E.g. your PR is rejected/blocked for unjust or non-technical reasons
- Your PR is rejected/blocked for unjust or non-technical reasons.
- A PR is rejected/blocked for valid technical reasons, but without due
consideration of your arguments
- A maintainer is asking for disproportionate changes to your PR in order