fix numbering in contributing.rst (#16042)

This commit is contained in:
Timothee Cour
2020-11-18 19:41:01 -08:00
committed by GitHub
parent acf8316e50
commit 44442520bc

View File

@@ -407,7 +407,6 @@ General commit rules
#!/bin/sh
git diff --check --cached || exit $?
5. Describe your commit and use your common sense.
Example commit message:
@@ -418,11 +417,10 @@ General commit rules
(e.g.: partially fixed) and won't close the issue when committed.
6. PR body (not just PR title) should contain references to fixed/referenced github
issues, e.g.: `fix #123` or `refs #123`. This is so that you get proper cross
referencing from linked issue to the PR (github won't make those links with just
PR title, and commit messages aren't always sufficient to ensure that, e.g.
can't be changed after a PR is merged).
issues, e.g.: `fix #123` or `refs #123`. This is so that you get proper cross
referencing from linked issue to the PR (github won't make those links with just
PR title, and commit messages aren't always sufficient to ensure that, e.g.
can't be changed after a PR is merged).
7. Commits should be always be rebased against devel (so a fast forward
merge can happen)