diff --git a/doc/devel/coding_guide.rst b/doc/devel/coding_guide.rst index c31646c8e662..ccb7cde94042 100644 --- a/doc/devel/coding_guide.rst +++ b/doc/devel/coding_guide.rst @@ -139,6 +139,9 @@ Milestones If multiple rules apply, choose the first matching from the above list. + Setting a milestone does not imply or guarantee that a PR will be merged for that + release, but if it were to be merged what release it would be in. + All of these PRs should target the master branch. The milestone tag triggers an :ref:`automatic backport ` for milestones which have a corresponding branch.