You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/contributors.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -27,7 +27,7 @@ Pull requests are the easiest way to contribute changes to git repos at GitHub.
27
27
- Please check that no one else has already created a pull request with these changes
28
28
- 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
29
29
- Make sure your changes are formatted correctly and consistently with the rest of the documentation
30
-
- Re-read what you wrote, and run a spellchecker on it to make sure you didn't miss anything
30
+
- Re-read what you wrote, and run a spell checker on it to make sure you didn't miss anything
31
31
- If your pull request is connected to an open issue, please, leave a link to this issue in the `Related issue:` section
32
32
- 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
0 commit comments