From 83d9b33c5bed2c2fd642007d5314b6bb23760e67 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Wed, 18 Oct 2017 12:07:21 +0200 Subject: Update contributing.md --- docs/contributing.md | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/contributing.md') 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 -- cgit mrf-deployment