diff options
Diffstat (limited to 'docs/contributing.md')
| -rw-r--r-- | docs/contributing.md | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/docs/contributing.md b/docs/contributing.md index a701e6682..9e3a14dd3 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -30,10 +30,9 @@ Also: (where `NNN` is issue number). This will auto-close the issue. If you need to mention an issue without closing it, add `Update #NNN`. - The pull request text is mostly irrelevant. -- Run `make presubmit` and ensure that it passes before sending a PR. It may require some additional packages to be installed (try `sudo make install_prerequisites`). -- _All_ generated files (`*.const`, `*.go`, `*.h`) are checked-in with the -`*.txt` changes in the same commit. Namely, `make generate` must not produce -_any_ diff in the tree. +- Run `make presubmit` and ensure that it passes before sending a PR. + It may require some additional packages to be installed (try `sudo make install_prerequisites`). +- `*.const` files are checked-in with the `*.txt` changes in the same commit. - Rebase your pull request onto the master branch before submitting. - If you're asked to add some fixes to your pull requested, please squash the new commits with the old ones. |