diff --git a/doc/developers/contributing.rst b/doc/developers/contributing.rst index 19db497f5a941..0fe3513bd5edc 100644 --- a/doc/developers/contributing.rst +++ b/doc/developers/contributing.rst @@ -155,12 +155,22 @@ If any of the above seems like magic to you, then look up the `Git documentation `_ on the web. -In particular, if some conflicts arise between your branch and the master -branch, you will need to `rebase your branch on master -`_. -Please avoid merging master branch into yours. If you did it anyway, you can fix -it following `this example -`_. +If some conflicts arise between your branch and the ``master`` branch, you need +to merge ``master``. The command will be:: + + $ git merge master + +with ``master`` being synchronized with the ``upstream``. + +Subsequently, you need to solve the conflicts. You can refer to the `Git +documentation related to resolving merge conflict using the command line +`_. + +.. note:: + + In the past, the policy to resolve conflicts was to rebase your branch on + ``master``. GitHub interface deals with merging ``master`` better than in + the past. Contributing pull requests