1
0
mirror of https://github.com/mfontanini/libtins synced 2026-01-22 18:25:57 +01:00

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.
This commit is contained in:
Matias Fontanini
2018-05-09 20:33:40 -07:00
committed by GitHub
parent 3f204321ce
commit b18c2cefec

View File

@@ -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.