From 98cae64d4a720e872b9162ca10c916117867dbd2 Mon Sep 17 00:00:00 2001 From: Josh Soref <2119212+jsoref@users.noreply.github.com> Date: Thu, 2 Jan 2025 15:38:36 -0500 Subject: [PATCH] spelling: spell checker Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com> --- docs/contributors.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/contributors.md b/docs/contributors.md index 4341212..fa89ac1 100644 --- a/docs/contributors.md +++ b/docs/contributors.md @@ -27,7 +27,7 @@ Pull requests are the easiest way to contribute changes to git repos at GitHub. - Please check that no one else has already created a pull request with these changes - Use a "feature branch" for your changes. That separates the changes in the pull request from your other changes and makes it easy to edit/amend commits in the pull request - Make sure your changes are formatted correctly and consistently with the rest of the documentation -- Re-read what you wrote, and run a spellchecker on it to make sure you didn't miss anything +- Re-read what you wrote, and run a spell checker on it to make sure you didn't miss anything - If your pull request is connected to an open issue, please, leave a link to this issue in the `Related issue:` section - If you later need to add new commits to the pull request, you can simply commit the changes to the local branch and then push them. The pull request gets automatically updated