diff options
author | Dave Rodgman <dave.rodgman@arm.com> | 2024-02-07 10:42:22 +0000 |
---|---|---|
committer | Dave Rodgman <dave.rodgman@arm.com> | 2024-02-07 10:42:41 +0000 |
commit | 2840523ae4829984a9b163876351ab5b5a3e3dfc (patch) | |
tree | 4d483f280acbaba0d781f34f2bb69b5810666707 /.github | |
parent | 5c9cc0b30fffc48edc96db0b103390f8d471eccf (diff) | |
download | mbedtls-2840523ae4829984a9b163876351ab5b5a3e3dfc.zip mbedtls-2840523ae4829984a9b163876351ab5b5a3e3dfc.tar.gz mbedtls-2840523ae4829984a9b163876351ab5b5a3e3dfc.tar.bz2 |
Remind contributors not to force-push
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/pull_request_template.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index a07e8ab..586536c 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -18,3 +18,10 @@ Please tick as appropriate and edit the reasons (e.g.: "backport: not needed bec Please refer to the [contributing guidelines](https://github.com/Mbed-TLS/mbedtls/blob/development/CONTRIBUTING.md), especially the checklist for PR contributors. + +Help make review efficient: +* Multiple simple commits + - 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` |