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
@@ -54,7 +54,7 @@ Pull requests are the easiest way to contribute changes to git repos at GitHub.
54
54
- 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
55
55
-**Run `pre-checkin` script to format, build and test changes**
56
56
- Make sure your changes are well formatted and that all tests are passing
57
-
- If your pull request is connected to an open issue, add a line in your pull request's description that says Fixes: #123, where #123 is the number of the issue you're fixing.
57
+
- If your pull request is connected to an open issue, please, leave a link to this issue in the `Related issue:` section
58
58
- 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
59
59
60
60
**Learn more about how to work with the repository:**
0 commit comments