diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-10-18 12:07:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-18 12:07:21 +0200 |
| commit | 83d9b33c5bed2c2fd642007d5314b6bb23760e67 (patch) | |
| tree | 962c6208b89c4a9ef4c7ee62e7c3ec9b5b8886b5 | |
| parent | f89294761cb8f89e11aecb58ee27629fcfeafbc3 (diff) | |
Update contributing.md
| -rw-r--r-- | docs/contributing.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/contributing.md b/docs/contributing.md index 42ecb1858..e9b222a38 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -10,6 +10,7 @@ and add yourself to [AUTHORS](/AUTHORS)/[CONTRIBUTORS](/CONTRIBUTORS) files (in Some guildelines to follow: - Prepend each commit with a `package:` prefix, where `package` is the package/tool this commit changes (look at examples in the [commit history](https://github.com/google/syzkaller/commits/master)) +- 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`) - 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 |