diff options
author | Dave Rodgman <dave.rodgman@arm.com> | 2024-02-07 11:04:14 +0000 |
---|---|---|
committer | Dave Rodgman <dave.rodgman@arm.com> | 2024-02-07 11:04:14 +0000 |
commit | c1a4d1f09a93d25f3037a3d56afaff3990811d94 (patch) | |
tree | d42dea1c3a1c879cd38a0e8409ee965a1e3d9c9e /.github | |
parent | 2840523ae4829984a9b163876351ab5b5a3e3dfc (diff) | |
download | mbedtls-c1a4d1f09a93d25f3037a3d56afaff3990811d94.zip mbedtls-c1a4d1f09a93d25f3037a3d56afaff3990811d94.tar.gz mbedtls-c1a4d1f09a93d25f3037a3d56afaff3990811d94.tar.bz2 |
Remove comments about rebasing vs merging; link to longer RTD document
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/pull_request_template.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 586536c..55b5964 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -24,4 +24,4 @@ Help make review efficient: - please structure your PR into a series of small commits, each of which does one thing * No force-push - please do not force-push to update your PR - just add new commit(s) - - use `git merge` (or the GitHub web interface) to resolve conflicts - not `git rebase` +* See our [Guidelines for Contributors](https://mbed-tls.readthedocs.io/en/latest/reviews/review-for-contributors/) for more details about the review process. |