summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgrodrigues3 <grodrigues3@users.noreply.github.com>2017-03-29 14:20:27 -0700
committerGitHub <noreply@github.com>2017-03-29 14:20:27 -0700
commitd29a3c05d205cead2dbf1a1e5e7352974c302038 (patch)
tree961dee26a60f69a106d4c4342fe4c8e9b43ff4dc
parent7ef52990eba3c20f08f79f4e9e933577727cca1c (diff)
parent8a7b68d2ee86a73a51cc4a5d34a23f64f3251f25 (diff)
Merge pull request #488 from pipejakob/fix-link
Fix cherry-picks link.
-rw-r--r--contributors/devel/cherry-picks.md3
1 files changed, 1 insertions, 2 deletions
diff --git a/contributors/devel/cherry-picks.md b/contributors/devel/cherry-picks.md
index c2ff50ba..484fdde3 100644
--- a/contributors/devel/cherry-picks.md
+++ b/contributors/devel/cherry-picks.md
@@ -6,8 +6,7 @@ depending on the point in the release cycle.
## Propose a Cherry Pick
-1. Cherrypicks are [managed with labels and milestones]
-(pull-requests.md#release-notes)
+1. Cherrypicks are [managed with labels and milestones](pull-requests.md#release-notes)
1. To get a PR merged to the release branch, first ensure the following labels
are on the original **master** branch PR:
* An appropriate milestone (e.g. v1.3)