diff options
| author | Gennadiy Civil <gennadiycivil@users.noreply.github.com> | 2017-10-30T14·56-0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-30T14·56-0400 |
| commit | 200b5a7cb0fb256ab47c933b3150aed91d9d3470 (patch) | |
| tree | 300713d880c593eb36cc6cea4bc8d1073bb03112 /CONTRIBUTING.md | |
| parent | d5134a7f11e32d11caa67e75ae2ae2e506fb54ba (diff) | |
| parent | 0fece732a21c5ae8fef5fa8b3f0b8487bca68d83 (diff) | |
Merge branch 'master' into master
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index c9c89bbc4248..40351ddcfaa1 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -47,7 +47,8 @@ will be expected to conform to the style outlined made and **why** it was made. Link to a GitHub issue if it exists. * Don't fix code style and formatting unless you are already changing that - line to address an issue. PRs with irrelevant changes won't be merged. If + line to address an issue. Formatting of modified lines may be done using + `git clang-format`. PRs with irrelevant changes won't be merged. If you do want to fix formatting or style, do that in a separate PR. * Unless your PR is trivial, you should expect there will be reviewer comments |