diff --git a/docs/devinfo.html b/docs/devinfo.html index a52a11ea656..8f4aeef5fd8 100644 --- a/docs/devinfo.html +++ b/docs/devinfo.html @@ -172,6 +172,14 @@ Here are some examples of such a note:
+Please use git cherry-pick -x <commit>
for cherry-picking a commit
+from master to a stable branch.
+