diff options
| author | Tom Gundersen <teg@jklm.no> | 2016-01-26 18:07:19 +0100 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2016-01-26 18:07:19 +0100 |
| commit | cfd77192c1de3bd264d15d6f4d8b3117f5619f4f (patch) | |
| tree | 2534573f6826eac1ed2bdebfbff27ac07609cf44 /CONTRIBUTING.md | |
| parent | 3820ed90335211dc208b048f1ff48ae66940ce3b (diff) | |
| parent | 4850d39ab72e7cb00a6e9c9aa4745c997674efa6 (diff) | |
Merge pull request #2437 from poettering/dnssec19
nineteenth dnssec patch
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index ba4080cb6e..c96958020f 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -24,7 +24,6 @@ right-away for being misfiled. code. This is a requirement for all code we merge. * Make sure to run "make check" locally, before posting your PR. We use a CI system, meaning we don't even look at your PR, if the build and tests don't pass. - * If you need to update the code in a existing PR, please consider opening a new PR (mentioning in it which old PR it replaces) and closing the old PR. This is much preferable over force-pushing a new patch set into the PR's branch, as commit comments aren't lost that way. That said, we don't follow this rule ourselves quite often, hence this is |