diff options
author | Lennart Poettering <lennart@poettering.net> | 2016-01-27 16:53:11 +0100 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2016-01-27 16:53:11 +0100 |
commit | 5362df0e52cd68769cdf274402886bd798498739 (patch) | |
tree | 5f577d13d23d8e59acbf9100a8886ae677eeb077 /CONTRIBUTING.md | |
parent | 770350f41ceadd17b3b982627ed67a74a87603f4 (diff) |
CONTRIBUTING.md: Minor typo fix
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index c96958020f..18081cbb48 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -24,7 +24,7 @@ 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 +* If you need to update the code in an 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 really just a say as we say, not say as we do... |