Mention which branch to use for patches/PRs

Even if it's set as the default branch on github, it's probably better to
mention that explicitly.
This commit is contained in:
Manuel Pégourié-Gonnard 2015-07-22 18:14:55 +02:00
parent cb0d212c97
commit 5597174923

View file

@ -150,7 +150,8 @@ Process
`start a discussion <https://tls.mbed.org/discussions>`_ around a feature
idea or a bug.
#. Fork the `mbed TLS repository on Github <https://github.com/ARMmbed/mbedtls>`_
to start making your changes.
to start making your changes. As a general rule, you should use the
"development" branch as a basis.
#. Write a test which shows that the bug was fixed or that the feature works
as expected.
#. Send a pull request and bug us until it gets merged and published. We will