diff options
author | Timothee Cour <timothee.cour2@gmail.com> | 2020-11-18 14:29:32 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-18 23:29:32 +0100 |
commit | bf8421a2fc7148c41a1073f3e8648d18d78f8f7e (patch) | |
tree | 4dbbf2bc5fd8a07fe2acffcf47a07938f8fd1a97 | |
parent | 557dcfd87d6801138702e087935ad3c7053d5e87 (diff) | |
download | Nim-bf8421a2fc7148c41a1073f3e8648d18d78f8f7e.tar.gz |
contributing docs: always mentioned referenced issues in PR body (#16038)
-rw-r--r-- | doc/contributing.rst | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/doc/contributing.rst b/doc/contributing.rst index 6ddbd65bc..0e87ebc1d 100644 --- a/doc/contributing.rst +++ b/doc/contributing.rst @@ -378,7 +378,7 @@ General commit rules 1. Important, critical bugfixes that have a tiny chance of breaking somebody's code should be backported to the latest stable release - branch (currently 1.2.x) and maybe also to the 1.0 branch. + branch (currently 1.4.x) and maybe also all the way back to the 1.0.x branch. The commit message should contain the tag ``[backport]`` for "backport to all stable releases" and the tag ``[backport:$VERSION]`` for backporting to the given $VERSION. @@ -417,7 +417,14 @@ General commit rules close it when the PR is committed), wheres issue ``#124`` is referenced (e.g.: partially fixed) and won't close the issue when committed. -6. Commits should be always be rebased against devel (so a fast forward +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). + + +7. Commits should be always be rebased against devel (so a fast forward merge can happen) e.g.: use ``git pull --rebase origin devel``. This is to avoid messing up @@ -426,7 +433,7 @@ General commit rules squash all commits using the script shown in https://github.com/nim-lang/Nim/pull/9356 -7. Do not mix pure formatting changes (e.g. whitespace changes, nimpretty) or +8. Do not mix pure formatting changes (e.g. whitespace changes, nimpretty) or automated changes (e.g. nimfix) with other code changes: these should be in separate commits (and the merge on GitHub should not squash these into 1). |