diff options
Diffstat (limited to 'docs')
| -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 |