diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3ee052970..11cd499ae 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -38,7 +38,7 @@ The Documentation of Pumpkin can be found at ### Coding Guidelines Things need to be done before a pull request can be merged. Your CI also checks most of them automatically and will fail if something is not fulfilled. -Note: Pumpkin's clippy settings are relatively strict, this can be may frustrating but is necessary so the code says clean and consistent. +Note: Pumpkin's clippy settings are relatively strict, this can be frustrating but is necessary so the code stays clean and consistent. **Basic** - **Title:** Use a concise and informative title that clearly communicates the purpose of the PR. Anyone reviewing the PR should quickly understand the changes being proposed.