diff --git a/contributor_docs/release.md b/contributor_docs/release.md index d4db29956d..8f2182ebcf 100644 --- a/contributor_docs/release.md +++ b/contributor_docs/release.md @@ -49,4 +49,5 @@ Sometimes you might need to push a release for an isolated and small bug fix wit 3. `git pull origin release` 4. `git checkout -b ` 5. `git cherry-pick ` -6. Make a new PR that merges into `release` (has a base branch `release`) \ No newline at end of file +6. Make a new PR that merges into `release` (has a base branch `release`) +7. Done!