From b18c2cefecd257e257536b548f09a29ee71404d3 Mon Sep 17 00:00:00 2001 From: Matias Fontanini Date: Wed, 9 May 2018 20:33:40 -0700 Subject: [PATCH] Remove note regarding develop branch This was useful at some point but now it's more of a burden to keep up to date. PRs should use `master` as base directly. --- CONTRIBUTING.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 07c612c..664d062 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -22,9 +22,6 @@ easier. Pull requests are very welcomed. When doing a pull request please: -* Base your PR branch on the `develop` branch. This is **almost always** pointing to the -same commit as `master`, so you shouldn't have any issues changing the destination branch -to `develop` at the time you try to do the pull request if you based your code on `master`. -* Your code will be compiled and tests will be run automatically by the travis and +* Notice that your code will be compiled and tests will be run automatically by the travis and appveyor CI tools. If your code has issues on any of the tested platforms (GNU/Linux, Windows and OSX), please fix it or otherwise the PR won't be merged.