Verified Commit 640620a0 authored by Joseph Nuthalapati's avatar Joseph Nuthalapati Committed by James Valleroy

Add instructions on how to use "WIP" in merge requests

Signed-off-by: Joseph Nuthalapati's avatarJoseph Nuthalapati <>
Reviewed-by: James Valleroy's avatarJames Valleroy <>
parent 6dc3fbfb
Pipeline #26983 passed with stages
in 13 minutes and 20 seconds
......@@ -13,7 +13,7 @@ Naming conventions:
* 'Code change', 'patch', and 'commit' are used interchangeably.
* 'Author' and 'contributor' are used interchangeably.
* Git 'log' and 'history' are used interchangeably.
* PR - pull request
* PR, MR - pull request and merge request, used interchangeably.
* 'Merging' often means 'applying a patch to git history' in a general sense,
not literal execution of the command `git merge`.
......@@ -49,6 +49,8 @@ Naming conventions:
to a [Developer Certificate of Origin](
* If (part of) your code changes were inspired or plainly copied from another
source, please indicate this in the PR, so the reviewer can handle it.
* If your PR is not ready for merging yet, the title of your PR must start with
* Have fun contributing :)
......@@ -82,6 +84,9 @@ Naming conventions:
* In case more fundamental changes are necessary, or if the contributor is new,
try to encourage them to make changes by giving appropriate feedback. This is
a major way how we mentor new contributors.
* Any PR whose title starts with `WIP:` cannot be merged. Communicate with the
author on what the pending changes are. Get the author to complete them or
complete them yourself in case of an emergency.
* Have fun reviewing :)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment